Computer-aided reasoning: acl2 case studies: pts. 1 & 2
Auteur :
Kaufmann, Matt
Éditeur :
Kaufmann, MattManolios, Panagiotis,Moore, J. Strother,
ISBN :
9780792378808
Date de publication :
30 juin 2000
Dimensions :
23,0 cm
Poids :
1 g
Langue :
Anglais
Pays d'origine :
USA
Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects.