Symbolic Model Checking
Book Details
Format
Hardback or Cased Book
ISBN-10
0792393805
ISBN-13
9780792393801
Publisher
Kluwer Academic Publishers
Imprint
Kluwer Academic Publishers
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jul 31st, 1993
Print length
216 Pages
Product Classification:
Mathematical logicCircuits & componentsElectronics: circuits and components
Ksh 12,950.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
No description available for this book.
Get Symbolic Model Checking by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Kluwer Academic Publishers and it has pages.
