Tools and Algorithms for the Construction and Analysis of Systems
53.49 EUR
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
SpringerLink DE
Tools and Algorithms for the Construction and Analysis of Systems
SpringerLink DE
19-05-2026 21:06:53
Gesponsert
Galaxus.de
Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Lijun Zhang, Tomás Vojnar
Galaxus.de
20-05-2026 04:30:36
