9780792393801 - symbolic model checking de mcmillan, kenneth l. (6 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (6)

  • Nuevo (6)
Más información

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Kluwer Academic, 1993

    0792393805 / 9780792393801

    • Tapa dura

    Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 94,82

    Envío por EUR 14,06 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. In.

  • Idioma: Inglés

    Editorial: Kluwer Academic, 1993

    0792393805 / 9780792393801

    • Tapa dura

    Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 106,07

    Envío por EUR 6,10 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 1 disponibles

    hardcover. Condición: New. In shrink wrap. Looks like an interesting title.

  • Idioma: Inglés

    Editorial: SPRINGER NATURE, 1993

    0792393805 / 9780792393801

    • Tapa dura

    Librería: moluna, Greven, Alemaniamoluna

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 104,46

    Envío por EUR 48,99 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Gebunden. Condición: New.

  • Idioma: Inglés

    Editorial: Springer Jul 1993, 1993

    0792393805 / 9780792393801

    • Tapa dura

    Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 129,05

    Envío por EUR 62,47 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 2 disponibles

    Buch. Condición: 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.

  • Idioma: Inglés

    Editorial: Kluwer Academic, 1993

    0792393805 / 9780792393801

    • Tapa dura
    • Impresión bajo demanda

    Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 84,94

     Gastos de envío gratis 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

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

  • Idioma: Inglés

    Editorial: Kluwer Academic Publishers, 1993

    0792393805 / 9780792393801

    • Tapa dura
    • Impresión bajo demanda

    Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 110,15

    Envío por EUR 17,96 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

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