-
Anglický jazyk
Interactive Theorem Proving and Program Development
Autor: Yves Bertot
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.
Na objednávku
88.82 €
bežná cena: 93.49 €
O knihe
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.
- Vydavateľstvo: Springer
- Rok vydania: 2010
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9783642058806
