Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, ... Notes in Computer Science, 1217, Band 1217)
53.49 EUR
Das Werk präsentiert die Erkenntnisse des TACAS'97‑Workshops mit Fokus auf formale Analyse, Modellierungswerkzeuge und Verifikationsmethoden für eingebettete Systeme, ergänzt durch praxisnahe Fallstudien.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Tools and Algorithms for the Construction and Analysis of Systems
SpringerLink DE
15-05-2026 16:48:08
