Koszyk
towar
(pusty)
Kontakt
Konto
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.
przeczytaj całość
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.
ukryj opis
- Wydawnictwo: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Kod:
- Rok wydania: 2004
- Język: Angielski
- Oprawa: Twarda
- Liczba stron: 472
- Szerokość opakowania: 16.3 cm
- Wysokość opakowania: 23.9 cm
- Głębokość opakowania: 3.6 cm
- Waga: 912 g
Recenzja