Abstraction Refinement and Proof for Probabilistic Systems

Wo zu kaufen (1) Eigenschaften
Gesponsert
Abstraction, Refinement and Proof for Probabilistic Systems
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 10-05-2026 07:56:49
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)
Produkt anzeigen
Abstraction in Artificial Intelligence and Complex Systems
Abstraction in Artificial Intelligence and Complex Systems
Produkt anzeigen
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Produkt anzeigen
Debugging Systems-on-Chip: Communication-centric and Abstraction-based Techniques (Embedded Systems)
Debugging Systems-on-Chip: Communication-centric and Abstraction-based Techniques (Embedded Systems)
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))
Produkt anzeigen
Wang, Chao: Abstraction Refinement for Large Scale Model Checking
Wang, Chao: Abstraction Refinement for Large Scale Model Checking
Produkt anzeigen
Menü