Formal Modeling and Analysis of Timed Systems
53.49 EUR
Ein praxisnahes Werk aus der 16. FORMATS‑Konferenz in Peking, das neueste Erkenntnisse zur formalen Modellierung zeitkritischer Systeme zusammenfasst und Forschern sowie Studierenden tiefgehende Einblicke bietet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
SpringerLink DE 
Galaxus.de 
