9780792393801 - symbolic model checking di mcmillan, kenneth l. (6 risultati)

ISBN: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (6)

  • Nuovo (6)
Maggiori informazioni

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: Kluwer Academic, 1993

    0792393805 / 9780792393801

    • Rilegato

    Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 94,64

    EUR 14,03 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. In.

  • Lingua: Inglese

    Editore: Kluwer Academic, 1993

    0792393805 / 9780792393801

    • Rilegato

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

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 106,31

    EUR 6,11 spedizione 
    Spedito in U.S.A.

    Quantità: 1 disponibili

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

  • Altre immagini

    Lingua: Inglese

    Editore: SPRINGER NATURE, 1993

    0792393805 / 9780792393801

    • Rilegato

    Da: moluna, Greven, Germaniamoluna

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 104,46

    EUR 48,99 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: Più di 20 disponibili

    Gebunden. Condizione: New.

  • Altre immagini

    Lingua: Inglese

    Editore: Springer Jul 1993, 1993

    0792393805 / 9780792393801

    • Rilegato

    Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 129,05

    EUR 62,47 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Buch. Condizione: 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.

  • Lingua: Inglese

    Editore: Kluwer Academic, 1993

    0792393805 / 9780792393801

    • Rilegato
    • Print on Demand

    Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 85,13

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.

  • Lingua: Inglese

    Editore: Kluwer Academic Publishers, 1993

    0792393805 / 9780792393801

    • Rilegato
    • Print on Demand

    Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 109,95

    EUR 17,93 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

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