To view prices and purchase online, please login, or register for an account.
(Paperback)
By: Daniel P. Friedman
ISBN: 9780262527958
Readership/Audience: General
Publication Date: Jul 2015
Publisher: MIT Press Ltd
See more...
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.
