Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Seiten
2018
Palala Press (Verlag)
9781379252634 (ISBN)
Palala Press (Verlag)
9781379252634 (ISBN)
- Titel nicht im Sortiment
- Artikel merken
| Erscheinungsdatum | 16.05.2022 |
|---|---|
| Sprache | englisch |
| Maße | 156 x 234 mm |
| Gewicht | 222 g |
| Themenwelt | Geisteswissenschaften ► Geschichte |
| Geisteswissenschaften ► Philosophie ► Logik | |
| ISBN-13 | 9781379252634 / 9781379252634 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Gegenentwurf zum kurzfristigen Denken : so werden wir zu den …
Buch | Hardcover (2023)
REDLINE (Verlag)
CHF 27,90
