Books > Self Service > Special Features Stores > 34875086-8a6a-4dfe-b095-4d85fb30b3ba_0 > 34875086-8a6a-4dfe-b095-4d85fb30b3ba_1301 > New, Used & Rental Textbooks > Computer Science > Artificial Intelligence
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
Product ID: 144194981X
Condition: New
Payflex: Pay in 4 interest-free payments of R1,474.50. Read the FAQ
R 5,898
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
payflex
ozow
Product Description
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
Technical Specifications
Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
PartNumber
Refer to Sapnet.
IsAdultProduct
Height
9.25195
Length
6.10235
Weight
1.10010668738
Width
0.81
ReleaseDate
2010-12-08T00:00:01Z
NumberOfItems
1
You might also like
MUNEFE 6L Insulated Beverage Dispenser, Stainless Steel Beverage Dispenser, Hot and Cold Beverage Dispensers for All Kinds of Cold Drinks, Juices and Soups (Silver)
The Wolves: Inside a teenage girls’ soccer team as they warm up, joke, and face real-world pressure.
All Work and No Play Makes Jack a Dull Boy: By Jack Torrance & Some Ghosts
Forgive Us All, 2025.
It Can’t Rain All the Time: The Crow (Pop Classics Book 16)
Record All Monsters: The Book of the Essays from the Podcast
All Kinds of Scary: Diversity in Contemporary Horror
Halloween: A Guide to All 13 Films (Hourlong Press)