Search Verification Model Checking And Abstract Interpretation

Showing 1 - 10 of 30 results for Verification Model Checking and Abstract Interpretation

Sort by

Verification, Model Checking, and Abstract Interpretation

ISBN13: 9783031505201

ISBN10: 3031505204

Format: Nonspecific Binding
List Price: ~~$99.96~~ Save up to $99.96
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Verification, Model Checking, and Abstract Interpretation

ISBN13: 9783031505232

ISBN10: 3031505239

Format: Nonspecific Binding
List Price: ~~$99.96~~ Save up to $99.96
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Verification, Model Checking, and Abstract Interpretation

ISBN13: 9783030945824

ISBN10: 3030945820

Format: Nonspecific Binding
List Price: ~~$118.64~~ Save up to $118.64
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Verification, Model Checking, and Abstract Interpretation

ISBN13: 9783031249495

ISBN10: 3031249496

Format: Nonspecific Binding
List Price: ~~$113.29~~ Save up to $113.29
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Verification, Model Checking, and Abstract Interpretation

by Jobstmann, Barbara; Leino, K. Rustan M.

ISBN13: 9783662491218

ISBN10: 3662491214

Format: Paperback
List Price: ~~$89.99~~ Save up to $89.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Verification, Model Checking, and Abstract Interpretation

by Bouajjani, Ahmed; Monniaux, David

ISBN13: 9783319522333

ISBN10: 3319522337

Format: Paperback
List Price: ~~$99.99~~ Save up to $99.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Verification, Model Checking, and Abstract Interpretation

by Dillig, Isil; Palsberg, Jens

ISBN13: 9783319737201

ISBN10: 3319737201

Format: Paperback
List Price: ~~$107.00~~ Save up to $107.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Verification, Model Checking, and Abstract Interpretation

by Enea, Constantin; Piskac, Ruzica

ISBN13: 9783030112448

ISBN10: 3030112446

Format: Paperback
List Price: ~~$99.99~~ Save up to $99.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Verification, Model Checking, and Abstract Interpretation

by Ahmed Bouajjani

ISBN13: 9783319522340

ISBN10: 3319522345

Format: Nonspecific Binding
List Price: ~~$118.64~~

We're Sorry.
No Options Available at This Time.
Verification, Model Checking, and Abstract Interpretation

by Beyer, Dirk; Zufferey, Damien

ISBN13: 9783030393212

ISBN10: 3030393216

Format: Paperback
List Price: ~~$89.99~~ Save up to $89.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices