All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Academic Press Inc
Kluwer Academic Publishers
MIT Press
Springer
Springer Nature Switzerland AG
Springer-Verlag New York
Filter Results
Showing 7 of 7 Results in All Departments
Relevance
Computer-Aided Reasoning - ACL2 Case Studies (Hardcover, 2000 ed.)
R
6,075
Add to Cart
Ships in 10 - 15 working days
Introduction to Abstract Algebra (Hardcover)
J. Strother Moore
R
3,491
Add to Cart
Ships in 12 - 17 working days
Piton - A Mechanically Verified Assembly-Level Language (Paperback, Softcover reprint of the original 1st ed. 1996)
J. Strother Moore
R
1,592
Add to Cart
Ships in 10 - 15 working days
Computer-Aided Reasoning - ACL2 Case Studies (Paperback, Softcover reprint of the original 1st ed. 2000)
R
5,988
Add to Cart
Ships in 10 - 15 working days
Formal Verification of Floating-Point Hardware Design - A Mathematical Approach (Paperback, Softcover reprint of the original 1st ed. 2019)
David M. Russinoff
R
2,781
Add to Cart
Ships in 10 - 15 working days
SAVE
R
107
The Little Prover (Paperback)
Daniel P. Friedman
,
Carl Eastlund
,
Illustrated by Duane Bibby
List Price
R
1,152
R
1,045
Add to Cart
Ships in 9 - 15 working days
Computer-Aided Reasoning, Pts. 1 & 2 - ACL2 Case Studies (Book, 2000 ed.)
Matt Kaufmann
,
Panagiotis Manolios
,
J. Strother Moore
List Price
R
7,889
R
7,825
Out of Stock
Out of stock