articole
(gol)
Contact
Cont 
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.
citește totul
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.
ascunde descrierea
- Editură: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Cod:
- Anul publicării: 2010
- Limba: Engleză
- Legarea: Broșată
- Număr de pagini: 472
- Lățimea ambalajului: 15.5 cm
- Înălțimea ambalajului: 23.6 cm
- Adâncimea ambalajului: 2.6 cm
- Greutatea ambalajului: 748 g
Recenzii