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)

€58.12

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 368 Ebooks dans cette catégorie

Couverture du Jeff Stapleton: Security without Obscurity

Jeff Stapleton: Security without Obscurity

Information security has a major gap when cryptography is implemented. Cryptographic algorithms are well defined, key management schemes are well known, but the actual deployment is typically overloo …

Couverture du Nicholas S. Hopkins: Agrarian Transformation In Egypt

Nicholas S. Hopkins: Agrarian Transformation In Egypt

This book reflects the argument on agrarian transformation in Egypt. It focuses on the role of agricultural mechanization in the labor process in rural Egypt. The book emphasizes the changing role of …

Couverture du John Borrego: Capital, The State, And Late Industrialization

John Borrego: Capital, The State, And Late Industrialization

This book explores the foundation and nature of the relationship between capitalist accumulation and the state in East Asia and Latin America that has profoundly influenced industrialization and macr …

Couverture du Muhammad Sayadur (Associate Professor, Department of Public Administration at Jahangirnagar University, Savar, Dhaka, Bangladesh) Rahman: Politics, Governance and Development in Bangladesh

Muhammad Sayadur (Associate Professor, Department of Public Administration at Jahangirnagar University, Savar, Dhaka, Bangladesh) Rahman: Politics, Governance and Development in Bangladesh

This book explores the relationship between bureaucrats and elected politicians in Bangladesh and discusses how this impacts governance and development in the country from an empirical perspective. I …

Couverture du Leah (Institute for Poverty, Land and Agrarian Studies (PLAAS) and the Centre for Humanities Research (CHR), University of the Western Cape, South Africa) Koskimaki & Mario Rutten: Provincial Globalization in India

Leah (Institute for Poverty, Land and Agrarian Studies (PLAAS) and the Centre for Humanities Research (CHR), University of the Western Cape, South Africa) Koskimaki & Mario Rutten: Provincial Globalization in India

The movement of people from small towns and villages of India to places outside the country raises a number of questions– about the networks that enable their mobility, the aspirations that motivate …

Couverture du Justin Massie & Jonathan Paquin: America''s Allies and the Decline of US Hegemony

Justin Massie & Jonathan Paquin: America »s Allies and the Decline of US Hegemony

How do America’s democratic allies perceive and respond to a relative decline in US power and influence and the simultaneous rise of China? Using the case-studies of Europe, the UK, Australia, Canada …

Couverture du Marte (Norwegian Centre for Conflict Resolution, Norway) Heian-Engdal: Palestinian Refugees after 1948

Marte (Norwegian Centre for Conflict Resolution, Norway) Heian-Engdal: Palestinian Refugees after 1948

After more than seventy years, the Palestinian refugee problem remains unsolved. But if a deal could have been reached involving the repatriation of Palestinian refugees, it was in the early years of …

Couverture du Michal Pilc & Beata Wozniak-Jechorek: Labour Market Institutions and Productivity

Michal Pilc & Beata Wozniak-Jechorek: Labour Market Institutions and Productivity

This book explains the role of formal labour market institutions in keeping the labour utilisation in Central and Eastern Europe above the level characteristic for Western European states. It provide …

Couverture du Stephen C. Druce & Victor T. (University of Leeds, UK) King: Origins, History and Social Structure in Brunei Darussalam

Stephen C. Druce & Victor T. (University of Leeds, UK) King: Origins, History and Social Structure in Brunei Darussalam

This wide-ranging book re-evaluates in detail the early history and historiography of Brunei Darussalam, the origins of the sultanate, its genealogical foundations and the structure and administratio …

Couverture du Lukasz Mamica: Outsourcing in European Emerging Economies

Lukasz Mamica: Outsourcing in European Emerging Economies

Drawing on a range of European cases, this edited volume analyses the offshoring and outsourcing of foreign companies, with a focus on territorial embeddedness. The book opens by developing a theoret …

Page suivante >>>