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
22-04-2026 09:04:13

Ähnliche Produkte

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
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

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

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

106.99 EUR

Abstraction, Refinement and Proof for Probabilistic Systems

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

Wang, Chao: Abstraction Refinement for Large Scale Model Checking

119.99 EUR
Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

0.00
Differential and Complex Geometry: Origins, Abstractions and Embeddings

Differential and Complex Geometry: Origins, Abstractions and Embeddings

149.79 EUR