Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Erkunden Sie moderne Ansätze zur Überprüfung von Zeit-Petri-Netzen und zeitlich gesteuerten Automaten, wobei temporale Logik als zentrales Werkzeug ...
Gesponsert
Medimops DE
152.06 EUR
Preis aktualisiert am: 25-04-2026 23:02:08
Gesponsert
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 26-04-2026 02:01:11
Gesponsert
Galaxus.de
160.49 EUR
Preis aktualisiert am: 26-04-2026 00:04:22
Allgemein
Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3642069428
MPN
Springer Berlin Heidelberg biography
