Formal specification techniques for engineering modular c programs
Auteur :
Tan Yang Meng
Éditeur :
Tan Yang Meng
ISBN :
9781461368502
Date de publication :
13 oct. 2012
Dimensions :
23,5 x 15,5 x 1,2 cm
Poids :
361 g
Langue :
Anglais
Pays d'origine :
USA