Catalog > Sciences > General > 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

Support

Cover of Mario Bravetti & Leila Kloul: Formal Techniques for Computer Systems and Business Processes (PDF)

€58.12

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783540319030 ● Editor Mario Bravetti & Leila Kloul ● Publisher Springer Berlin Heidelberg ● Published 2005 ● Downloadable 3 times ● Currency EUR ● ID 6316530 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Mario Bravetti Leila Kloul Gianluigi Zavattaro

87,636 Ebooks in this category

Cover of Nicky Pouw: Wellbeing Economics

Nicky Pouw: Wellbeing Economics

Amidst rising global inequality, migration, climate change, health pandemics, and deepening poverty, it is time to redirect our economy towards more sustainable and socially just processes and outcom …

Cover of Andrew Fusek Peters: Butterfly Book

Andrew Fusek Peters: Butterfly Book

In this new book on native butterflies we look at the lifecycle of the butterfly alongside many other fascinating facts, all brought to life by the brilliant photography of Andrew Fusek Peters.With c …

Cover of Steven (Author) Falk: Field Guide to the Bees of Great Britain and Ireland

Steven (Author) Falk: Field Guide to the Bees of Great Britain and Ireland

Bees are a fascinating and indispensable group of insects, but many species are in decline, and efforts to help determine distributions and changes in abundance have to date been compromised by a ser …

Cover of Christer (Copenhagen Business School, Denmark) Karlsson: Research Methods for Operations and Supply Chain Management

Christer (Copenhagen Business School, Denmark) Karlsson: Research Methods for Operations and Supply Chain Management

Research Methods for Operations and Supply Chain Management, third edition, is a toolkit of research approaches primarily for advanced students and beginner researchers, but also a reference book for …

Cover of Yi Liu: The Central Government-Funded Teacher Education Policy in China

Yi Liu: The Central Government-Funded Teacher Education Policy in China

This book utilises expectancy–value theory and undermining effect of extrinsic reward theory to examine the impact of the Central Government-Funded Teacher Education (CGFTE) policy on Chinese pre-ser …

Cover of Madawi Al-Rasheed: Transnational Connections and the Arab Gulf

Madawi Al-Rasheed: Transnational Connections and the Arab Gulf

Transnational Connections and the Arab Gulf presents a study of transnational cultural flows in the Gulf region and beyond. It combines an understanding of the region”s historical connections w …

Cover of Manuela Melandri: Self-Determination, International Law and Post-Conflict Reconstruction

Manuela Melandri: Self-Determination, International Law and Post-Conflict Reconstruction

The right to self-determination has played a crucial role in the process of assisting oppressed people to put an end to colonial domination. Outside of the decolonization context, however, its releva …

Cover of Shinji Kawana & Minori Takahashi: Exploring Base Politics

Shinji Kawana & Minori Takahashi: Exploring Base Politics

This book sheds light on the mechanisms of base politics that surround US overseas military bases, comparing several countries across different regions. Analysing cases from Japan, Greenland, Germany …

Cover of Bernard Linsky & Bertrand Russell: The Problem of China

Bernard Linsky & Bertrand Russell: The Problem of China

”China, by her resources and her population, is capable of being the greatest power in the world after the United States.” Bertrand Russell, The Problem of China In 1920 the philosopher Bertrand Ru …

Cover of Aaron Ezroj: Carbon Risk and Green Finance

Aaron Ezroj: Carbon Risk and Green Finance

As the world plans for economic recovery following the global COVID-19 pandemic, major economies are looking to comprehensive strategies for addressing carbon risks and identifying green finance oppo …