Kosár
á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: 2010
- Nyelv: Angol
- Kötés: Fűzött (paperback)
- Oldalak száma: 472
- Csomag szélessége: 15.5 cm
- Csomag magassága: 23.6 cm
- Csomag mélysége: 2.6 cm
- Csomag súlya: 748 g
Recenzió