-
Deutschland
Land International
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)
Gesponsert
Medimops DE
159.34 EUR
Preis aktualisiert am: 28-10-2026 22:12:16
Gesponsert
SpringerLink DE
177.00 EUR
Preis aktualisiert am: 01-11-2026 18:34:40
Allgemein
Marke
Wojciech Penczek
MPN
Wojciech Penczek 124 black & white illustrations, 124 bla
ISBN
Wojciech Penczek 3540328696
