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

177.00 EUR

Teilen:
Gesponsert

Abstraction, Refinement and Proof for Probabilistic Systems

SpringerLink DE
177.00 EUR
07-09-2026 11:15:08

Ä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
Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

138.98 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

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

132.50 EUR