Sách điện tử > Khoa học > Chung > 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

Ủng hộ

Bìa của Mario Bravetti & Leila Kloul: Formal Techniques for Computer Systems and Business Processes (PDF)

€58.12

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng PDF ● ISBN 9783540319030 ● Biên tập viên Mario Bravetti & Leila Kloul ● Nhà xuất bản Springer Berlin Heidelberg ● Được phát hành 2005 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6316530 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Mario Bravetti Leila Kloul Gianluigi Zavattaro

87.636 Ebooks trong thể loại này

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Trang tiếp theo >>>