Models and analysis for distributed systems
Éditeur :
ISTE Ltd and John Wiley & Sons Inc
ISBN :
9781848213142
Date de publication :
10 juin 2011
Dimensions :
24,1 x 16,3 x 2,5 cm
Poids :
662 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems.