Guaranteed Verification of Dynamic Systems
Karlsruhe: KIT Scientific Publishing, 2022
Online
Monographie, Elektronische Ressource
- 1 electronic resource (216 pages)
Ermittle Ausleihstatus...
Titel: |
Guaranteed Verification of Dynamic Systems
|
---|---|
Autor/in / Beteiligte Person: | Schwab, Stefan |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Karlsruhe: KIT Scientific Publishing, 2022 |
Medientyp: | Monographie |
Datenträgertyp: | Elektronische Ressource |
Umfang: | 1 electronic resource (216 pages) |
ISBN: | 9783731509653 |
Schlagwort: |
|
Sonstiges: |
|