ISBN: 9780792393801 - symbolic model checking (6 Ergebnisse)

von Kenneth L. McMillan
ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (6)

  • Neu (6)
Mehr dazu

bis

Benutzerdefinierte Preisspanne (EUR)

bis

  • Sprache: Englisch

    Verlag: Kluwer Academic, 1993

    0792393805 / 9780792393801

    • Hardcover

    Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 108,60

    EUR 6,24 Versand 
    Versand innerhalb von USA

    Anzahl: 1 verfügbar

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

  • Sprache: Englisch

    Verlag: Kluwer Academic, 1993

    0792393805 / 9780792393801

    • Hardcover

    Anbieter: California Books, Miami, FL, USACalifornia Books

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 117,42

    EUR 2,69 Versand 
    Versand innerhalb von USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New.

  • Sprache: Englisch

    Verlag: Kluwer Academic Pub, 1993

    0792393805 / 9780792393801

    • Hardcover

    Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 142,25

    EUR 11,99 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 2 verfügbar

    Hardcover. Zustand: Brand New. 216 pages. 9.75x6.50x0.75 inches. In Stock.

  • Sprache: Englisch

    Verlag: SPRINGER NATURE, 1993

    0792393805 / 9780792393801

    • Hardcover

    Anbieter: moluna, Greven, Deutschlandmoluna

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 104,46

    EUR 48,99 Versand 
    Versand von Deutschland nach USA

    Anzahl: Mehr als 20 verfügbar

    Gebunden. Zustand: New.

  • Sprache: Englisch

    Verlag: Springer Jul 1993, 1993

    0792393805 / 9780792393801

    • Hardcover

    Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 140,65

    EUR 35,00 Versand 
    Versand von Deutschland nach USA

    Anzahl: 2 verfügbar

    Buch. Zustand: 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. …

  • Sprache: Englisch

    Verlag: Kluwer Academic Publishers, 1993

    0792393805 / 9780792393801

    • Hardcover
    • Print-on-Demand

    Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes KönigreichTHE SAINT BOOKSTORE

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 112,52

    EUR 18,35 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

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