VU Boekhandel

Computer-Aided Reasoning ACL2 Case Studies

Hoofdkenmerken

Auteur:	Moore, J Strother
Redactie:	Moore, J Strother
Titel:	Computer-Aided Reasoning ACL2 Case Studies
Uitgever:	Springer
ISBN:	9780792378495
ISBN boekversie:	9781475731880
Serie:	Advances in Formal Methods
Editie:	2000 ed.
Land van oorsprong:	Netherlands
Prijs:	€ 332.74
Verschijningsdatum:	01-06-2000
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Undergraduate
Categorie:	Expert systems / knowledge-based systems
Geillustreerd:	XV, 337 p.

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	337
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	1510

Inhoud:

Computer-Aided Reasoning: ACL2 Case Studies 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.