Designing Reliable Distributed Systems

A Formal Methods Approach Based on Executable Modeling in Maude

Olveczky, Peter Csaba | Autoři

Vše od Springer London Ltd
ISBN: 9781447166863

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

1 762 Kč

1 - 2 ks
1 762 Kč
3 - 10 ks
1 745 Kč
11 a více ks
1 727 Kč

Naše cena 1 762 Kč je o 6 % nižší než
doporučená cena výrobce 1 875 Kč.

Předpoklad doručení do 27. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

1 762 Kč 1 875 Kč

Nepřehlédněte od Springer London Ltd

Více o produktu

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.

Výrobce
Springer London Ltd
Jazyk
United Kingdom
Autor
Olveczky, Peter Csaba
Rozměry
159 x 238 x 18
Rok vydání
2018
Počet stran
313
Obsah
Paperback / softback
Hmotnost
564
Počet stran
313 pages, 6 Illustrations, color; 11 Illustrations, black and white

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Designing Reliable Distributed Systems a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!