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 ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Medimops DE
152.06 EUR
Preis aktualisiert am: 13-11-2026 08:22:19
Siehe Produktangebot
Gesponsert
Advances in Verification of Time Petri Nets and Timed Automata
Hugendubel
160.49 EUR
Preis aktualisiert am: 10-11-2026 12:29:08
Siehe Produktangebot
Gesponsert
Advances in Verification of Time Petri Nets and Timed Automata
SpringerLink DE
164.99 EUR
Preis aktualisiert am: 12-11-2026 01:29:17
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3642069428
MPN
Springer Berlin Heidelberg biography

Eigenschaften

Ähnliche Produkte

Hardware Description Languages and their Applications
Hardware Description Languages and their Applications
Aus160.49 EUR 3
Produkt anzeigen
Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems
Aus58.84 EUR 2
Produkt anzeigen
Protocol Specification, Testing and Verification XIV (IFIP Advances in Information and Communication Technology)
Protocol Specification, Testing and Verification XIV (IFIP Advances in Information and Communication Technology)
Aus149.84 EUR 2
Produkt anzeigen
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)
Aus159.34 EUR 2
Produkt anzeigen
Menü