Computer aided verification: 15th international conference, cav 2003, boulder, co, usa, july 8-12, 2003, proceedings
Auteur :
Hunt, Warren A.
ISBN :
9783540405245
Date de publication :
27 juin 2003
Dimensions :
23,3 x 15,5 x 2,4 cm
Poids :
668 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne