Certified Programming with Dependent Types
A Pragmatic Introduction to the Coq Proof Assistant
Seiten
2022
MIT Press (Verlag)
978-0-262-54574-7 (ISBN)
MIT Press (Verlag)
978-0-262-54574-7 (ISBN)
| Erscheinungsdatum | 04.05.2022 |
|---|---|
| Sprache | englisch |
| Maße | 178 x 229 mm |
| Gewicht | 369 g |
| Themenwelt | Informatik ► Software Entwicklung ► Mobile- / App-Entwicklung |
| ISBN-10 | 0-262-54574-8 / 0262545748 |
| ISBN-13 | 978-0-262-54574-7 / 9780262545747 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Das große Handbuch zum JavaScript-Framework
Buch | Hardcover (2022)
Rheinwerk (Verlag)
CHF 55,85
Eine umfassende Einführung
Buch | Softcover (2021)
De Gruyter Oldenbourg (Verlag)
CHF 62,90
