Computer-aided verification: a special issue of formal methods in system design on computer-aided verification
Auteur :
Kurshan, Robert
ISBN :
9781461365792
Date de publication :
5 oct. 2012
Dimensions :
23,5 x 15,5 x 0,8 cm
Poids :
242 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA