Interactive Theorem Proving and Program Development
☆☆☆☆☆
(0 opinii)
Najniższa cena (z dostawą)
100,50 EUR
Typowa cena92,35 PLN
Najniższa (90 dni)88,39 PLN
Liczba ofert2
Ostatnia aktualizacja14 godzin temu
| Sprzedawca | Cena produktu | Dostawa | Razem | Dostępność | Aktualizacja | |
|---|---|---|---|---|---|---|
| SP SpringerNatureLink Shop INT | 100,50 EUR | 0 zł | 100,50 EUR | Dostępny | 14 godzin temu | Zobacz ofertę |
| SP Springer Nature Author | 100,50 EUR | 19,00 EUR | 119,50 EUR | Dostępny | 6 godzin temu | Zobacz ofertę |
Ceny i dostępność mogą ulec zmianie. Ostatnia aktualizacja: 08.08.2026 13:48.
EAN
9783642058806
Springer Nature
0,0
☆☆☆☆☆
0 opinii
5★
0%
4★
0%
3★
0%
2★
0%
1★
0%
Opinie o produkcie
Brak opinii — bądź pierwszy!
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Podobne produkty
Patient Safety Coaching
od $91.97
Ethnography and Diversity
od $69.30
Smart Villages
od $91.97
Nuclear Non-Proliferation in International Law - Volume VI
od $91.97
The Price of Freedom
od $91.97
Eco-Social Policy in the OECD and the World Bank
od $91.97
Special Topics in Policing
od $122.58
Music from the Heart
od $91.97