1. Home
  2. Medien
  3. Bücher
  4. Abstraction Refinement for Large Scale Model Checking
  • #

Abstraction Refinement for Large Scale Model Checking

Teilen:
Gesponsert

Produkte ansehen bei eBay

eBay
Gesponsert

Produkte ansehen bei Back Market DE

Back Market DE
Gesponsert

Produkte ansehen bei AsGoodAsNew DE

AsGoodAsNew DE
Gesponsert

Produkte ansehen bei Alternate DE

Alternate DE
Gesponsert

Produkte ansehen bei Beauty Welt (DE)

Beauty Welt (DE)
Gesponsert

Produkte ansehen bei babymarkt.de

babymarkt.de
Gesponsert

Produkte ansehen bei DeubaXXL DE

DeubaXXL DE

Ähnliche Produkte

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

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
Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

85.59 EUR
Abstraction Refinement and Proof for Probabilistic Systems

Abstraction Refinement and Proof for Probabilistic Systems

117.69 EUR
Abstractions mutations vinyl lp

Abstractions mutations vinyl lp

39.90 EUR