Items related to Symbolic Model Checking
Synopsis
Foreword. Preface. 1. Introduction. 2. Model Checking. 3. Symbolic Model Checking. 4. The SMV System. 5. A Distributed Cache Protocol. 6. Mu-Calculus Model Checking. 7. Induction and Model Checking. 8. Equivalence Computations. 9. A Partial Order Apporach. 10. Conclusion. References. Index.
"synopsis" may belong to another edition of this title.
Search results for Symbolic Model Checking
Stock Image
Symbolic Model Checking
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0792393805
Stock Image
Symbolic Model Checking
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9780792393801_new
Buy New
£ 86.42
£ 11.29 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Symbolic Model Checking
Published by
Kluwer Academic Publishers, 1993
ISBN 10: 0792393805
ISBN 13: 9780792393801
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780792393801
Buy New
£ 91.15
£ 15.31 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Symbolic Model Checking
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Seller Inventory # 898701843
Buy New
£ 92.30
£ 42.03 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Symbolic Model Checking
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware - Foreword. Preface. 1. Introduction. 2. Model Checking. 3. Symbolic Model Checking. 4. The SMV System. 5. A Distributed Cache Protocol. 6. Mu-Calculus Model Checking. 7. Induction and Model Checking. 8. Equivalence Computations. 9. A Partial Order Apporach. 10. Conclusion. References. Index. Seller Inventory # 9780792393801