Isbn: 9780792393801 - Symbolic Model Checking (5 results)

ISBN: 
Refine with Advanced Search

Refine your search

  • Books (5)

  • New (5)
Learn more

to

Custom price range (£)

to

  • Language: English

    Published by Kluwer Academic, 1993

    0792393805 / 9780792393801

    • Hardcover

    Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd

    5-star seller
    Contact seller

    Condition: New

    £ 90.67

    £ 5.21 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    hardcover. Condition: New. In shrink wrap. Looks like an interesting title.

  • Language: English

    Published by Kluwer Academic, 1993

    0792393805 / 9780792393801

    • Hardcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    £ 86.42

    £ 11.29 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In English.

  • Language: English

    Published by SPRINGER NATURE, 1993

    0792393805 / 9780792393801

    • Hardcover

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    £ 92.30

    £ 42.03 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    Gebunden. Condition: New.

  • Language: English

    Published by Springer Jul 1993, 1993

    0792393805 / 9780792393801

    • Hardcover

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    £ 117.84

    £ 30.03 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    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. …

  • Language: English

    Published by Kluwer Academic Publishers, 1993

    0792393805 / 9780792393801

    • Hardcover
    • Print on Demand

    Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE

    5-star seller
    Contact seller

    Condition: New

    £ 91.15

    £ 15.31 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.