Catalog > Științe > 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

Ajutor

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

€58.12

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format PDF ● ISBN 9783540319030 ● Editor Mario Bravetti & Leila Kloul ● Editura Springer Berlin Heidelberg ● Publicat 2005 ● Descărcabil 3 ori ● Valută EUR ● ID 6316530 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Mario Bravetti Leila Kloul Gianluigi Zavattaro

87.368 Ebooks din această categorie

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Pagina următoare >>>