Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems) 短评

热门

  • 还没人写过短评呢

<< 首页 < 前页 后页 >

> Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)

Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
作者: Chao Wang, Gary D. Hachtel, Fabio Somenzi
isbn: 0387341552
书名: Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
页数: 194
定价: USD 119.00
出版社: Springer
装帧: Hardcover
出版年: 2006-07-20