Catalog > Ciencia > General > 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

Soporte

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

€58.12

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato PDF ● ISBN 9783540319030 ● Editor Mario Bravetti & Leila Kloul ● Editorial Springer Berlin Heidelberg ● Publicado 2005 ● Descargable 3 veces ● Divisa EUR ● ID 6316530 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Mario Bravetti Leila Kloul Gianluigi Zavattaro

87.368 Ebooks en esta categoría

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

siguiente página >>>