1. Home
  2. Abstraction Refinement and Proof for Probabilistic Systems
  • #

Abstraction Refinement and Proof for Probabilistic Systems

117.69 EUR

Teilen:
Gesponsert

Abstraction, Refinement and Proof for Probabilistic Systems

SpringerLink DE
117.69 EUR
22-04-2026 21:41:05

Ähnliche Produkte

Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

85.59 EUR
Abstraction in Artificial Intelligence and Complex Systems

Abstraction in Artificial Intelligence and Complex Systems

96.49 EUR

Abstraction, Refinement and Proof for Probabilistic Systems

151.59 EUR
Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

160.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 for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

0.00
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
Modeling Cellular Signaling Systems

Modeling Cellular Signaling Systems

59.00 EUR