Košík
zboží
(prázdné)
Kontakt
Účet
MEGA VÝHODNÉ
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.
číst celé
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.
schovat popis
- Nakladatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Kód:
- Rok vydání: 2004
- Jazyk: Angličtina
- Vazba: Gebunden
- Počet stran: 472
- Šířka balení: 16.3 cm
- Výška balení: 23.9 cm
- Hloubka balení: 3.6 cm
- Váha balení: 912 g
Recenze