Designing reliable distributed systems: a formal methods approach based on executable modeling in maude
Auteur :
Ölveczky, Peter Csaba
Éditeur :
Springer London Ltd
ISBN :
9781447166863
Date de publication :
22 févr. 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.