Gå direkt till innehållet
Designing Reliable Distributed Systems
Spara

Designing Reliable Distributed Systems

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.
Undertitel
A Formal Methods Approach Based on Executable Modeling in Maude
Upplaga
1st ed. 2017
ISBN
9781447166863
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2018-02-22
Sidor
313