Scan barcode
472 pages • first pub 2004 (editions)
ISBN/UID: 9783642058806
Format: Paperback
Language: English
Publisher: Springer
Publication date: 15 December 2010
Description
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.
Community Reviews
Content Warnings
472 pages • first pub 2004 (editions)
ISBN/UID: 9783642058806
Format: Paperback
Language: English
Publisher: Springer
Publication date: 15 December 2010
Description
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.
Community Reviews
Content Warnings