Abbildung von: Fundamentals of Logic and Computation - Springer

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification
Zhe Hou(Autor*in)
Springer (Verlag)
Erschienen am 3. Dezember 2021
X, 222 Seiten
E-Book
PDF mit Wasserzeichen-DRM
978-3-030-87882-5 (ISBN)
64,19 €inkl. 7% MwSt.
Systemvoraussetzungen
für PDF mit Wasserzeichen-DRM
E-Book Einzellizenz
Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Person

Inhalt

Systemvoraussetzungen