Abstraction Refinement For Large Scale Model Checking

   In stock
SKU
BK 0033397
ISBN10 387341552
ISBN13 9780387341552
Binding PAPERBACK
Author WANG
Language ENGLISH
Publisher SPRINGER VERLAG
Country of Origin India

12024.00