电子书 > 科学 > 一般 > 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

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● ISBN 9783540319030 ● 编辑 Mario Bravetti & Leila Kloul ● 出版者 Springer Berlin Heidelberg ● 发布时间 2005 ● 下载 3 时 ● 货币 EUR ● ID 6316530 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Mario Bravetti Leila Kloul Gianluigi Zavattaro

87,636 此类电子书

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …