The book is currently out of stock
Computer verification of algorithms using a formal proof system
Authors
Book variant
2010Book purchase
We’ll notify you via email once we track it down.
2010We have over a million books in stock
2010We have over a million books in stock
2010