Liknande böcker

Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Mathematics of program construction - 7th international conference, mpc 200
Bok av Dexter Kozen
Computational logic and proof theory : proceedings
Bok av Georg Gottlob
Logic for applications
Bok av Anil Nerode
Automatic Verification Methods for Finite State Systems : International...
Bok av Joseph Sifakis
Computer aided verification
Bok av Rajeev Alur
Compiler Construction : 16th International Conference, CC 2007, Held as...
Bok av Shriram. Krishnamurthi
Computer aided verification : 9th international conference : proceedings
Bok av Orna Grumberg

Interactive Theorem Proving and Program Development

Bok av 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.