Abbildung von: Concrete Abstractions - Springer

Concrete Abstractions

Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Wolfgang Schreiner(Autor*in)
Springer (Verlag)
Erschienen am 11. April 2023
XII, 271 Seiten
E-Book
PDF mit Wasserzeichen-DRM
978-3-031-24934-1 (ISBN)
58,84 €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