Catalog > Science > Général > 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

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

€57.47

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● ISBN 9783540319030 ● Éditeur Mario Bravetti & Leila Kloul ● Maison d’édition Springer Berlin Heidelberg ● Publié 2005 ● Téléchargeable 3 fois ● Devise EUR ● ID 6316530 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Mario Bravetti Leila Kloul Gianluigi Zavattaro

87 316 Ebooks dans cette catégorie

Couverture du Graeme P. (George C. Marshall European Center for Security Studies, Germany) Herd: Understanding Russian Strategic Behavior

Graeme P. (George C. Marshall European Center for Security Studies, Germany) Herd: Understanding Russian Strategic Behavior

This book examines the extent to which Russia’s strategic behavior is the product of its imperial strategic culture and Putin’s own operational code. The work argues that, by conflating personalistic …

Couverture du Hui (University of Queensland, Australia) Feng: The Politics of China''s Accession to the World Trade Organization

Hui (University of Queensland, Australia) Feng: The Politics of China »s Accession to the World Trade Organization

Grounded on a series of first-hand interviews with Chinese government officials, this book examines China’s accession to the World Trade Organization, providing an ‘inside’ look at Chinese WTO access …

Couverture du Janet Gabriel Townsend: Women''s Voices from the Rainforest

Janet Gabriel Townsend: Women »s Voices from the Rainforest

Women »s Voices from the Rainforest explores the position of the women whose families are tearing down the rainforest. These women of Central and Latin America have been largely invisible until now, …

Couverture du Stephen Peterson: Public Finance and Economic Growth in Developing Countries

Stephen Peterson: Public Finance and Economic Growth in Developing Countries

Public finance is crucial to a country’s economic growth, yet successful reform of public finances has been rare. Ethiopia is an example of a country that undertook comprehensive reform of its core f …

Couverture du ShashiPrabha (University of Delhi, India) Kumar: Classical Vaisesika in Indian Philosophy

ShashiPrabha (University of Delhi, India) Kumar: Classical Vaisesika in Indian Philosophy

Vaisesika is one of the six systems of Hindu philosophy. It represents a pluralistic realism and is usually held to be an atomistic, metaphysical theory. This book explores the basic tenets of the Va …

Couverture du Francis (Old Dominion University, USA) Adams: The United Nations in Latin America

Francis (Old Dominion University, USA) Adams: The United Nations in Latin America

The United Nations has increased its worldwide efforts to promote sustainable development. In this book, noted scholar Francis Adams examines the United Nations » actions in Latin America, particular …

Couverture du Elena (University of Manchester, UK) Barabantseva: Overseas Chinese, Ethnic Minorities and Nationalism

Elena (University of Manchester, UK) Barabantseva: Overseas Chinese, Ethnic Minorities and Nationalism

Elena Barabantseva looks at the close relationship between state-led nationalism and modernisation, with specific reference to discourses on the overseas Chinese and minority nationalities. The inter …

Couverture du Shaul (Bar Ilan University, Israel) Bartal: Jihad in Palestine

Shaul (Bar Ilan University, Israel) Bartal: Jihad in Palestine

The 21st century exists in the shadow of the return of extremist Islam to the center of the world’s political stage, a process that began at the end of the previous century. While researchers have fo …

Couverture du Sara (University of Antwerp, Belgium) Geenen: African Artisanal Mining from the Inside Out

Sara (University of Antwerp, Belgium) Geenen: African Artisanal Mining from the Inside Out

Artisanal mining is commonly associated with violent conflict, rampant corruption and desperate poverty. Yet millions of people across Sub Sahara Africa depend on it. Many of them are living in easte …

Couverture du Tukumbi Lumumba-Kasongo: Land Reforms and Natural Resource Conflicts in Africa

Tukumbi Lumumba-Kasongo: Land Reforms and Natural Resource Conflicts in Africa

This book is a critical examination of the place and role of land in Africa, the role of land in political formation and national identification, and the land as an economic resource within both nati …

Page suivante >>>