Catalog > Wetenschappen > Algemeen > 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

Ondersteuning

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

€58.12

Koop dit e-boek en ontvang er nog 1 GRATIS!

Taal Engels ● Formaat PDF ● ISBN 9783540319030 ● Editor Mario Bravetti & Leila Kloul ● Uitgeverij Springer Berlin Heidelberg ● Gepubliceerd 2005 ● Downloadbare 3 keer ● Valuta EUR ● ID 6316530 ● Kopieerbeveiliging Adobe DRM

Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

Mario Bravetti Leila Kloul Gianluigi Zavattaro

87.636 E-boeken in deze categorie

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Volgende pagina >>>