Program Proofs
2023
MIT Press (Verlag)
978-0-262-37543-6 (ISBN)
MIT Press (Verlag)
978-0-262-37543-6 (ISBN)
- Titel nicht im Sortiment
- Artikel merken
| Erscheinungsdatum | 20.02.2023 |
|---|---|
| Mitarbeit |
Sonstige Mitarbeit: Kaleb Leino |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Mathematik / Informatik ► Informatik ► Software Entwicklung | |
| ISBN-10 | 0-262-37543-5 / 0262375435 |
| ISBN-13 | 978-0-262-37543-6 / 9780262375436 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen und praktische Anwendungen von Transpondern, kontaktlosen …
Buch (2023)
Hanser (Verlag)
CHF 125,95
