Tools and Algorithms for the Construction and Analysis of Systems
Dieses Buch fasst die neuesten Forschungsergebnisse zur Modellierung, Analyse und Verifikation von Softwaresystemen zusammen, bietet detaillierte Fallstudien aus der TACAS‑Konferenz und erklärt praxisnahe Algorithmen für Entwickler und Wissenschaftler.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Lijun Zhang, Tomás Vojnar
Galaxus.de
26-08-2026 21:26:00
Gesponsert
SpringerLink DE
Tools and Algorithms for the Construction and Analysis of Systems
SpringerLink DE
26-08-2026 21:41:02
