Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Country | USA |
Brand | Springer |
Manufacturer | Springer |
Binding | Hardcover |
ItemPartNumber | 12634777 |
UnitCount | 1 |
EANs | 9783540208549 |
ReleaseDate | 0000-00-00 |