Formal Modeling and Analysis of Timed Systems
Ein Sammelband der 16. FORMATS‑Konferenz in Peking, der aktuelle Fortschritte zur formalen Modellierung und Analyse von zeitkritischen Systemen doku ...
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 04-05-2026 00:22:23
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 03-05-2026 12:50:24
Allgemein
Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3030001504
MPN
Springer-Verlag GmbH 33735691
