Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Medimops DE
150.34 EUR
Preis aktualisiert am: 09-11-2026 17:25:46
Siehe Produktangebot
Gesponsert
Abstraction Refinement and Proof for Probabilistic Systems
Hugendubel
160.49 EUR
Preis aktualisiert am: 10-11-2026 18:33:00
Siehe Produktangebot
Gesponsert
Abstraction, Refinement and Proof for Probabilistic Systems
SpringerLink DE
177.00 EUR
Preis aktualisiert am: 09-11-2026 12:26:19
Siehe Produktangebot

Allgemein

Marke
Annabelle McIver
ISBN
Annabelle McIver 1441923128

Eigenschaften

Ähnliche Produkte

Wang, Chao: Abstraction Refinement for Large Scale Model Checking
Wang, Chao: Abstraction Refinement for Large Scale Model Checking
Aus119.99 EUR 3
Produkt anzeigen
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1283))
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1283))
Aus53.49 EUR 3
Produkt anzeigen
Modeling Cellular Signaling Systems
Modeling Cellular Signaling Systems
Aus58.99 EUR 2
Produkt anzeigen
Abstraction Refinement and Proof for Probabilistic Systems
Abstraction Refinement and Proof for Probabilistic Systems
Aus177.00 EUR 1
Produkt anzeigen
Menü