Tools and Algorithms for the Construction and Analysis of Systems
53.49 EUR
Ein kompakter Leitfaden aus der TACAS‑Konferenz 2017, der fortschrittliche Werkzeuge und Algorithmen für die Modellierung, Analyse und Verifikation von Softwaresystemen vorstellt; praxisnahe Beispiele und theoretische Grundlagen vereint.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Tools and Algorithms for the Construction and Analysis of Systems
SpringerLink DE
17-05-2026 07:46:20
Gesponsert
Galaxus.de
Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Tiziana Margaria, Axel Legay
Galaxus.de
16-05-2026 20:14:27
