(Paperback)
By: Adam Chlipala
ISBN: 9780262545747
Readership/Audience: Professional and Scholarly
Publication Date: Jun 2022
Publisher: MIT Press Ltd
See more...
(Hardback)
By: Konstantine Arkoudas
ISBN: 9780262035538
Readership/Audience: Tertiary Education
Publication Date: May 2017
Publisher: MIT Press Ltd
See more...
A textbook that teaches students to read and write proofs using Athena.
(Hardback)
By: Divakar Viswanath
ISBN: 9780262036290
Readership/Audience: Tertiary Education
Publication Date: Jul 2017
Publisher: MIT Press Ltd
See more...
A variety of programming models relevant to scientists explained, with an emphasis on how programming constructs map to parts of the computer.
(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.
(Paperback)
By: Daniel P. Friedman
ISBN: 9780262536431
Readership/Audience: Tertiary Education
Publication Date: Sep 2018
Publisher: MIT Press Ltd
See more...
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
