Scan barcode
472 pages • first pub 2004 (editions)
ISBN/UID: 9783540208549
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 14 May 2004
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: 9783540208549
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 14 May 2004
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