áru
(üres)
Kapcsolat
Fiók 
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.
tovább
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.
leírás elrejtése
- Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Kód:
- Kiadás éve: 2004
- Nyelv: Angol
- Kötés: Kötött
- Oldalak száma: 472
- Csomag szélessége: 16.3 cm
- Csomag magassága: 23.9 cm
- Csomag mélysége: 3.6 cm
- Csomag súlya: 912 g
Recenzió