Computer aided verification: 3rd international workshop, cav '91, aalborg, denmark, july 1-4, 1991. proceedings: 3rd: international workshop, cav '91, aalborg, denmark, july 1-4, 1991 - proceedings
Auteur :
Larsen, Kim G.
ISBN :
9783540551799
Date de publication :
22 avr. 1992
Dimensions :
23,3 x 15,5 x 2,5 cm
Poids :
705 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains the proceedings of a workshop on computer aided verification. Topics include verification and validation tools for hardware and software, verification methods, and verification theories and their applicability.