Free delivery for orders over 69.99 euro

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

Free delivery for purchases over 69.99 €

DPD courier 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro

Models and Analysis for Distributed Systems

Name: Models and Analysis for Distributed Systems
Brand: ISTE Ltd and John Wiley & Sons Inc
SKU: 05103633
Price: 168.59 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

410 b

168.59 €

Low in stock at our supplier Shipping in 12-17 days

Up to 30 days for returns

Customers also purchased

Putte vill bli Jan Jan Modin

Paperback

10.85 €

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

Paperback

20.70 €

Jagdrecht in Thüringen Sebastian C. Dewaldt

Paperback

17.89 €

Agenda 2023 journalier poche Aquarela Jade green CASTELLI

Book

13.96 €

Radikaler Islam und radikaler Anti-Islam Gert Pickel

Paperback

45.03 €

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

Paperback

9.34 €

Domino Express Starter Lane

Game

11.35 €

Mit Rechenstrategien zum Einmaleins Marion Keil

Sheet

23.62 €

Descartes La Lumiere Naturelle: Intuition, Disposition, Complexion Andre Robinet

Paperback

62.42 €

Der Akita Inu Roland Berger

Paperback

9.04 €

antiseptische Behandlung der Pulpakrankheiten des Zahnes Adolph Witzel

Paperback

20.50 €

MA PLUS GRANDE DOULEUR SERA DE NE POUVOIR TE SECOURIR Nathalie Hermine

Paperback

29.04 €

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

Book

4.92 €

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

Paperback

19.69 €

Spider-Verse Dan Slott

Paperback

37.99 €

L'Etat universel / La Mobilisation totale Jünger

Paperback

11.95 €

Eine Reise nach Mexico im Jahre 1864 Paula Kollonitz

Paperback

19.59 €

Erlebnisse Eines Wanderers: Novellen (1911) Philipp Langmann

Paperback

35.18 €

Evaluacion de la eficiencia bancaria en Venezuela Arias Campos Jorge Daniel

Paperback

229.11 €

Livre a Colorier Sur Les Vetements De Fantaisie (French Edition) Speedy Publishing LLC

Paperback

10.85 €

ÜberLeben ohne Alkohol Katrin Rossmann

Paperback

56.29 €

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.