Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Models and Analysis for Distributed Systems

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

Serge Haddad

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 05103633

Editoras ISTE Ltd and John Wiley & Sons Inc, junho 2011

Nowadays, distributed systems are increasingly present, for public software applications as well as... Descrição completa

Código Libristo: 05103633

358 b

148.03 €

Armazenamento externalo em pequenas quantidades Envio em 11-15 dias

Política de devolução de 30 dias

Os clientes também compraram

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

Capa mole

19.03 €

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

Livro

4.04 €

Putte vill bli Jan Jan Modin

Capa mole

9.61 €

Radikaler Islam und radikaler Anti-Islam Gert Pickel

Capa mole

40.39 €

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

Capa mole

9.20 €

Mit Rechenstrategien zum Einmaleins Marion Keil

Folha

21.15 €

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

Capa mole

16.39 €

Spider-Verse Dan Slott

Capa mole

34.01 €

L'Etat universel / La Mobilisation totale Jünger

Capa mole

11.33 €

Eine Reise nach Mexico im Jahre 1864 Paula Kollonitz

Capa mole

17.41 €

antiseptische Behandlung der Pulpakrankheiten des Zahnes Adolph Witzel

Capa mole

18.22 €

Jagdrecht in Thüringen Sebastian C. Dewaldt

Capa mole

15.89 €

Domino Express Starter Lane

Jogo

10.22 €

ÜberLeben ohne Alkohol Katrin Rossmann

Capa mole

50.62 €

Evaluacion de la eficiencia bancaria en Venezuela Arias Campos Jorge Daniel

Capa mole

56.60 €

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.