Tools and Algorithms for the Construction and Analysis of Systems
53.49 EUR
Ein Fachbuch aus der 23. TACAS-Konferenz 2017, das neue Verfahren zur Modellierung und Überprüfung von Softwaresystemen vorstellt; kombiniert theoretische Konzepte mit praktischen Anwendungen in formalen Methoden und verfeinert die Analyse komplexer Systeme.
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
17-05-2026 09:24:38
