Abstraction, Refinement and Proof for Probabilistic Systems | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Abstraction, Refinement and Proof for Probabilistic Systems
  • #

Abstraction, Refinement and Proof for Probabilistic Systems

160.49 EUR

Teilen:
Gesponsert

Abstraction, Refinement and Proof for Probabilistic Systems

SpringerLink DE
160.49 EUR
19-06-2026 18:52:38

Ähnliche Produkte

Debugging Systems-on-Chip: Communication-centric and Abstraction-based Techniques

Debugging Systems-on-Chip: Communication-centric and Abstraction-based Techniques

106.99 EUR
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))

53.49 EUR
Wang, Chao: Abstraction Refinement for Large Scale Model Checking

Wang, Chao: Abstraction Refinement for Large Scale Model Checking

119.99 EUR
Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

160.49 EUR
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)

53.49 EUR
Abstraction in Artificial Intelligence and Complex Systems

Abstraction in Artificial Intelligence and Complex Systems

141.46 EUR