Formal methods for distributed system development: forte / pstv 2000 ifip tc6 wg6.1 joint international conference on formal description techniques for distributed systems and communication protocols (forte xiii) and protocol specification, testing and verification (pstv xx) october 10-13, 2000, pisa, italy
Auteur :
Bolognesi, Tommaso
ISBN :
9781475752649
Date de publication :
28 févr. 2013
Dimensions :
23,5 x 15,5 x 2,2 cm
Poids :
652 g
Langue :
Anglais
Pays d'origine :
USA