Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

by Chao Wang, Gary D. Hachtel, Fabio Somenzi Hardcover 2006

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Chao Wang, Gary D. Hachtel, Fabio Somenzi
  • ISBN 13: 9780387341552
  • ISBN 10: 0387341552
  • Publication Year: 2006
  • Language: English

Specifications

Index-100387341552
LanguageEnglish
Index-139780387341552
Period-
Class Track-
Publisher- (2006)
Pages-

✨ Readers also enjoyed...

View All →
Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large S…

Chao Wang, Gary D. Hachtel, Fabio Somenzi

Inquire
Chinese Currency Exchange Rates Analysis : Risk Management, Forecasting and Hedging Strategies

Chinese Currency Exchange Rates An…

Jiangze Du, Jying-Nan Wang, Kin Keung Lai, Chao Wang

Inquire
Combined Measure and Shift Invariance Theory of Time Scales and Applications

Combined Measure and Shift Invaria…

Chao Wang, Ravi P. Agarwal

Inquire
Combined Measure and Shift Invariance Theory of Time Scales and Applications

Combined Measure and Shift Invaria…

Chao Wang, Ravi P. Agarwal

Inquire
Computational Advertising : Market and Technologies for Internet Commercial Monetization

Computational Advertising : Market…

Peng Liu, Chao Wang

Inquire