Електронна книга > Наука > Генерал > Mario Bravetti & Leila Kloul: Formal Techniques for Computer Systems and Business Processes (PDF)

Mario Bravetti & Leila Kloul
Formal Techniques for Computer Systems and Business Processes [PDF ebook]
European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

Підтримка

Обкладинка Mario Bravetti & Leila Kloul: Formal Techniques for Computer Systems and Business Processes (PDF)

€58.12

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат PDF ● ISBN 9783540319030 ● Редактор Mario Bravetti & Leila Kloul ● Видавець Springer Berlin Heidelberg ● Опубліковано 2005 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6316530 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Mario Bravetti Leila Kloul Gianluigi Zavattaro

89 089 Електронні книги в цій категорі

Обкладинка Bolin Kumar Konwar: Bacterial Biopolymers

Bolin Kumar Konwar: Bacterial Biopolymers

Bacterial biopolymers are a competitive new area of research with potential applications in agriculture, petroleum exploration, and use as biodegradable plastics. This new volume provides compre …

Обкладинка David K. Wiggins: African Americans in Sports

David K. Wiggins: African Americans in Sports

This two-volume set features 400 articles on African-Americans in sports, including biographical entries as well as entries on events, tournaments, leagues, clubs, films, and associations. The entrie …

Обкладинка Md (Institute of South Asian Studies, National University of Singapore) Rahman & Tan Tai (Institute of South Asian Studies, National University of Singapore) Yong: International Migration and Development in South Asia

Md (Institute of South Asian Studies, National University of Singapore) Rahman & Tan Tai (Institute of South Asian Studies, National University of Singapore) Yong: International Migration and Development in South Asia

In migration studies, the nexus between migration and development in the global South has been meticulously debated. However, a unanimous resolution to this debate has not been found, due to the ever …

Обкладинка Jane Pilcher: Women in Contemporary Britain

Jane Pilcher: Women in Contemporary Britain

In this introductory text for A level students and undergraduates, Jane Pilcher covers the main issues debated about women in Britain today. Subjects covered include: * women and gender: sociological …

Обкладинка Ben Pitcher: Consuming Race

Ben Pitcher: Consuming Race

From the rise of Nordic noir to a taste for street food, from practices of natural gardening to the aesthetics of children”s TV, contemporary culture is saturated with racial meanings. By consuming …

Обкладинка Yu Wai Vic Li: China’s Financial Opening

Yu Wai Vic Li: China’s Financial Opening

The twenty-first century has not only seen China become one of the world’s largest trading nations, but also its gradual integration into the global financial system. Chinese-sponsored project financ …

Обкладинка J Morris: Makers Of Japan

J Morris: Makers Of Japan

First Published in 1906, Morris melds Japanese culture and historic past to create a discourse on the change in attitude to foreign powers in the 1800’s. By providing a general impression of Japan an …

Обкладинка Mark Dailey: A Leader’s Guide to Storytelling

Mark Dailey: A Leader’s Guide to Storytelling

Part manual, part memoir and part call to action, this book demonstrates why the core skill needed by leaders in the next decade and into the future will be authentic and effective communication. Com …

Обкладинка Kay (University of Brighton, UK) Aranda: Critical Qualitative Health Research

Kay (University of Brighton, UK) Aranda: Critical Qualitative Health Research

Critical Qualitative Health Research seeks to deepen understandings of the philosophies, politics and practices shaping contemporary qualitative health related research. This accessible, lively, cont …

Обкладинка Roderick Hart: Fixing American Politics

Roderick Hart: Fixing American Politics

Fixing American Politics: Solutions for the Media Age brings together original chapters from 34 noted scholars from two disciplines – political science and communication – asked to identify the most …

Наступна сторінка >>>