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
Springer Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 2 of 2 Results in All Departments
Relevance
Logic Gates, Circuits, Processors, Compilers and Computers (Paperback, 1st ed. 2021)
Jan Friso Groote
,
Rolf Morel
,
Julien Schmaltz
,
Adam Watkins
R
1,016
Add to Cart
Ships in 12 - 17 working days
SAVE
R
1,139
Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Paperback)
List Price
R
1,808
R
669
Out of Stock
Out of stock