Formal techniques for networked and distributed systems: forte 2001
Auteur :
Kim, Myungchul
Éditeur :
Kim, Myungchul
ISBN :
9780792374701
Date de publication :
1 juil. 2001
Dimensions :
23,4 x 15,6 x 2,6 cm
Poids :
840 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Presents worldwide results in theory and practice of formal techniques for networked and distributed systems. This book covers formal methods in software development, process algebra, timed automata, theories and applications of verification, distributed systems testing, and test sequence derivation.