Catalog > Naturwissenschaft > Allgemein > 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

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

€58.12

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format PDF ● ISBN 9783540319030 ● Herausgeber Mario Bravetti & Leila Kloul ● Verlag Springer Berlin Heidelberg ● Erscheinungsjahr 2005 ● herunterladbar 3 mal ● Währung EUR ● ID 6316530 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Mario Bravetti Leila Kloul Gianluigi Zavattaro

87.368 Ebooks in dieser Kategorie

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

nächste Seite >>>