Formal description techniques and protocol specification, testing and verification: forte xi/pstv xviii'98 ifip tc6 wg6.1 joint international conference on formal description techniques for distributed systems and communication protocols (forte xi) and protocol specification, testing and verification (pstv xviii) 3-6 november 1998, paris, france
Auteur :
Budkowski, Stan
ISBN :
9781475752625
Date de publication :
5 mars 2013
Dimensions :
23,5 x 15,5 x 2,5 cm
Poids :
735 g
Langue :
Anglais
Pays d'origine :
USA