Ebook > Ciência > Geral > 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

Apoio

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

€57.02

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato PDF ● ISBN 9783540319030 ● Editor Mario Bravetti & Leila Kloul ● Editora Springer Berlin Heidelberg ● Publicado 2005 ● Carregável 3 vezes ● Moeda EUR ● ID 6316530 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Mario Bravetti Leila Kloul Gianluigi Zavattaro

84.945 Ebooks nesta categoria

Capa do Owen J. Furuseth & Heather A. Smith: Latinos in the New South

Owen J. Furuseth & Heather A. Smith: Latinos in the New South

Latinos have emerged as one of the fastest-growing ethnic populations in the American South. A ”New South” is taking shape in a region where culture and class relations have traditionally been …

Capa do Pat Lauderdale & Pietro Toggia: Crisis and Terror in the Horn of Africa

Pat Lauderdale & Pietro Toggia: Crisis and Terror in the Horn of Africa

Contemporary social life in the Horn of Africa is generally a state-orchestrated experience that terrorizes the majority of the people. This collection of carefully selected essays, explores the …

Capa do Robin J. Lewis: Public Policymaking in a Globalized World

Robin J. Lewis: Public Policymaking in a Globalized World

The inexorable advent of globalization has transformed the public policymaking process into a multi-faceted challenge that transcends traditional policymaking boundaries and forces scholars, experts, …

Capa do Shoaib Ahmed Malik: Islam and Evolution

Shoaib Ahmed Malik: Islam and Evolution

This book attempts to equip the reader with a holistic and accessible account of Islam and evolution. It guides the reader through the different variables that have played a part in the ongoing dialo …

Capa do Shirley (Nanyang Technological University, Singapore) Sun: Socio-economics of Personalized Medicine in Asia

Shirley (Nanyang Technological University, Singapore) Sun: Socio-economics of Personalized Medicine in Asia

The second decade of the twenty-first century has witnessed a surging interest in personalized medicine with the concomitant promise to enable more precise diagnosis and treatment of disease and illn …

Capa do Professor Christine Hall & Professor Pat Thomson: Place-Based Methods for Researching Schools

Professor Christine Hall & Professor Pat Thomson: Place-Based Methods for Researching Schools

Capa do Lloyd (University of Glasgow, UK) Ridgeon: Sufi Castigator

Lloyd (University of Glasgow, UK) Ridgeon: Sufi Castigator

Sufi Castigator investigates the writings of Ahmad Kasravi, one of the foremost intellectuals in Iran. It studies his work within the context of Sufism in modern Iran and mystical Persian literature …

Capa do Steven Collins & Juliane Schober: Theravāda Buddhist Encounters with Modernity

Steven Collins & Juliane Schober: Theravāda Buddhist Encounters with Modernity

Although recent scholarship has shown that the term ‘Theravāda’ in the familiar modern sense is a nineteenth- and twentieth-century construct, it is now used to refer to the more than 150 million peo …

Capa do Ben (Independent scholar and writer based in Cologne, Germany) Weinberg: Asia and the Future of Football

Ben (Independent scholar and writer based in Cologne, Germany) Weinberg: Asia and the Future of Football

Football is the most popular sport in the world. Globalisation and commercialisation of the game, however, have created new conflicts and challenges. This book explores the role of the Asian Football …

Capa do Isik Ozel: State-Business Alliances and Economic Development

Isik Ozel: State-Business Alliances and Economic Development

This book argues that a key dynamic behind economic development in the emerging markets is the coordination between the state and businesses. Exploring the links between institutions, state–business …

Próxima página >>>