Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications

Weitere Versionen (3)
Gespeichert in:
Weitere Titel:
ACL2 '06 proceedings of the sixth International Workshop on the ACL2 Theorem Prover and its Applications
1. Verfasser:
Manolios, Panagiotis (MitwirkendeR)
Körperschaft:
ACM Digital Library
Weitere Verfasser:
Wilding, Matthew (MitwirkendeR)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] ACM 2006
Umfang:
1 online resource (145 pages)
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
Schlagworte:
Engineering & Applied Sciences
Computer Science
Bezugswerke: