Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Models and Analysis for Distributed Systems

Name: Models and Analysis for Distributed Systems
Brand: ISTE Ltd and John Wiley & Sons Inc
SKU: 05103633
Price: 173.56 EUR
Availability: InStock
Author: Serge Haddad
ISBN: 9781848213142

Serge Haddad

Language

English

Book Hardback

Libristo code: 05103633

Publishers ISTE Ltd and John Wiley & Sons Inc, June 2011

Nowadays, distributed systems are increasingly present, for public software applications as well as... Full description

Libristo code: 05103633

420 b

173.56 €

Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

Evaluacion de la eficiencia bancaria en Venezuela Arias Campos Jorge Daniel

Paperback

63.94 €

Mit Rechenstrategien zum Einmaleins Marion Keil

Sheet

23.73 €

Откуда берутся деньги?: энцикл.для малышей Елена Ульева

Paperback

9.69 €

Radikaler Islam und radikaler Anti-Islam Gert Pickel

Paperback

45.35 €

Putte vill bli Jan Jan Modin

Paperback

10.90 €

DOBLE RETORN. ART I MALATIA EN DIÀLEG MIRALLES CRISOSTOMO

Book

4.94 €

On a frôlé la guerre atomique - Ces 7 journées où le monde fut au bord de l'apocalypse Luc Mary

Paperback

22.92 €

Spider-Verse Dan Slott

Paperback

41.11 €

L'Etat universel / La Mobilisation totale Jünger

Paperback

13.63 €

ÜberLeben ohne Alkohol Katrin Rossmann

Paperback

59.90 €

Domino Express Starter Lane

Game

11.41 €

La Migration (Hijrah) Dans l'Islam: (version Sans Les Exég?ses En Arabe) Sami a Aldeeb Abu-Sahlieh

Paperback

19.29 €

Jagdrecht in Thüringen Sebastian C. Dewaldt

Paperback

17.97 €

antiseptische Behandlung der Pulpakrankheiten des Zahnes Adolph Witzel

Paperback

20.50 €

Eine Reise nach Mexico im Jahre 1864 Paula Kollonitz

Paperback

19.69 €

Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master's and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.