1. Home
  2. Abstraction Refinement for Large Scale Model Checking
  • #

Abstraction Refinement for Large Scale Model Checking

85.59 EUR

Teilen:
Gesponsert

Abstraction Refinement for Large Scale Model Checking

SpringerLink DE
85.59 EUR
02-04-2025 12:34:13

Ähnliche Produkte

Abstraction Refinement and Proof for Probabilistic Systems

Abstraction Refinement and Proof for Probabilistic Systems

117.69 EUR
Abstraction in Artificial Intelligence and Complex Systems

Abstraction in Artificial Intelligence and Complex Systems

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

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