Siirry suoraan sisältöön
Designing Reliable Distributed Systems
Tallenna

Designing Reliable Distributed Systems

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.
Alaotsikko
A Formal Methods Approach Based on Executable Modeling in Maude
Painos
1st ed. 2017
ISBN
9781447166863
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
22.2.2018
Sivumäärä
313