Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)
Country | USA |
Author | Andrew W. Appel |
Binding | Hardcover |
EAN | 9781107048010 |
Edition | 1 |
ISBN | 110704801X |
Label | Cambridge University Press |
Manufacturer | Cambridge University Press |
NumberOfItems | 1 |
NumberOfPages | 472 |
PublicationDate | 2014-04-21 |
Publisher | Cambridge University Press |
Studio | Cambridge University Press |
ReleaseDate | 0000-00-00 |