Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)

Wo zu kaufen (2) Eigenschaften
Gesponsert
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)
Medimops DE
160.49 EUR
Preis aktualisiert am: 27-04-2026 19:31:51
Siehe Produktangebot
Gesponsert
Advances in Verification of Time Petri Nets and Timed Automata
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 27-04-2026 22:16:14
Siehe Produktangebot

Allgemein

Marke
Wojciech Penczek
MPN
Wojciech Penczek 124 black & white illustrations, 124 bla
ISBN
Wojciech Penczek 3540328696

Eigenschaften

Ähnliche Produkte

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Produkt anzeigen
Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems
Produkt anzeigen
Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)
Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)
Produkt anzeigen
Hardware Description Languages and their Applications
Hardware Description Languages and their Applications
Produkt anzeigen
Menü