Formal Methods and Hybrid Real-Time Systems
Ein wissenschaftlicher Band, der die Fortschritte in formaler Verifikation und hybriden Echtzeitsystemen würdigt; präsentiert theoretische Konzepte, ...
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 03-05-2026 12:00:23
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 03-05-2026 12:19:53
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 03-05-2026 12:14:54
Allgemein
Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 9783540752202
MPN
Springer-Verlag GmbH biography
