Temporal Verification of Reactive Systems: Safety

Wo zu kaufen (3) Eigenschaften
Gesponsert
Temporal Verification of Reactive Systems: Safety
Medimops DE
117.69 EUR
Preis aktualisiert am: 12-06-2026 20:04:17
Siehe Produktangebot
Gesponsert
Temporal Verification of Reactive Systems
SpringerLink DE
117.69 EUR
Preis aktualisiert am: 13-06-2026 03:34:13
Siehe Produktangebot
Gesponsert
Temporal Verification of Reactive Systems, Fachbücher von Amir Pnueli, Zohar Manna
Galaxus.de
117.69 EUR
Preis aktualisiert am: 13-06-2026 02:04:27
Siehe Produktangebot

Allgemein

Marke
Zohar Manna
ISBN
Zohar Manna 1461287014
MPN
Zohar Manna biography

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
Temporal Verification of Reactive Systems: Safety
Temporal Verification of Reactive Systems: Safety
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)
Produkt anzeigen
Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications
Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications
Produkt anzeigen
A Formal Framework for Run-Time Verification of Web Applications
A Formal Framework for Run-Time Verification of Web Applications
Produkt anzeigen
Effective and Efficient Temporal Verification in Grid Workflow: Enabling timely completion of grid workflow
Effective and Efficient Temporal Verification in Grid Workflow: Enabling timely completion of grid workflow
Produkt anzeigen
Menü