Your cart

Your cart is empty

Books > Computing & IT > Computer software packages

Not currently available

Acl2 (Paperback) Loot Price: R693
Discovery Miles 6 930
Acl2 (Paperback): Knutr Benoit
Acl2 (Paperback): Knutr Benoit

Share your images

Acl2 (Paperback)

Knutr Benoit

 (sign in to rate)
Loot Price R693 Discovery Miles 6 930 | Repayment Terms: R64 pm x 12*

Bookmark and Share

Supplier out of stock. If you add it to your wishlist we will send you an email should it become available again.

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. ACL2 is a software system consisting of a programming language, an extensible theory in a first-order logic, and a mechanical theorem prover. ACL2 is designed to support automated reasoning in inductive logical theories, mostly for the purpose of software and hardware verification. The input language and implementation of ACL2 are built on Common Lisp. ACL2 is free, open source software. The ACL2 programming language is an applicative (side-effect free) variant of Common Lisp. ACL2 is untyped. All ACL2 functions are total - that is, every function maps each object in the ACL2 universe to another object in its universe.


Imprint: Dict
Country of origin: United States
Release date: 2012
First published: 2012
Editors: Knutr Benoit
Dimensions: 229 x 152 x 6mm (L x W x T)
Format: Paperback - Trade
Pages: 96
ISBN-13: 978-6200295880
Barcode: 9786200295880
Categories: Promotions
Books > Computing & IT > Computer software packages
Books > Computing & IT > Computer software packages > General
LSN: 6200295883

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Loyalty partners