Gå direkte til innholdet
Designing Reliable Distributed Systems
Spar

Designing Reliable Distributed Systems

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.
Undertittel
A Formal Methods Approach Based on Executable Modeling in Maude
Opplag
1st ed. 2017
ISBN
9781447166863
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
22.2.2018
Antall sider
313