9783540697350 - verification, model checking, and abstract interpretation: 8th international conference, vmcai 2007, nice, france, january 14-16, 2007, proceedings: 4349 (lecture notes in computer science, 4349) (10 resultados)

ISBN

Filtrar la búsqueda

  • Libros (10)

  • Nuevo (10)

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Springer 2007

    3540697357 / 9783540697350

    • Tapa blanda

    Librería: Romtrade Corp., STERLING HEIGHTS, Estados Unidos de AmericaRomtrade Corp.

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 49,30

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

    Cantidad disponible: 1 disponibles

    Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

  • Idioma: Inglés

    Editorial: Springer 2007

    3540697357 / 9783540697350

    • Tapa blanda

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 49,30

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

    Cantidad disponible: 1 disponibles

    Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

  • Condición: Nuevo

    EUR 60,37

    Envío por EUR 13,82 
    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: Springer 2007-01 2007

    3540697357 / 9783540697350

    • Tapa blanda

    Librería: Chiron Media, Wallingford, Reino UnidoChiron Media

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 56,80

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

    Cantidad disponible: 10 disponibles

    PF. Condición: New.

  • Idioma: Inglés

    Editorial: Springer-Verlag New York Inc 2007

    3540697357 / 9783540697350

    • Tapa blanda

    Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 80,64

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

    Cantidad disponible: 2 disponibles

    Paperback. Condición: Brand New. 8th edition. 395 pages. 9.20x6.50x0.90 inches. In Stock.

  • Idioma: Inglés

    Editorial: Springer, Springer 2007

    3540697357 / 9783540697350

    • Tapa blanda

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 53,49

    Envío por EUR 63,11 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Princi

  • Más imágenes

    Idioma: Inglés

    Editorial: Springer 2007

    3540697357 / 9783540697350

    • Tapa blanda

    Librería: preigu, Osnabrück, Alemaniapreigu

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 50,35

    Envío por EUR 70,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 5 disponibles

    Taschenbuch. Condición: Neu. Verification, Model Checking, and Abstract Interpretation | 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings | Byron Cook (u. a.) | Taschenbuch | xi | Englisch | 2007 | Springer | EAN 9783540697350 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tier

  • Idioma: Inglés

    Editorial: Springer Berlin Heidelberg Jan 2007 2007

    3540697357 / 9783540697350

    • Tapa blanda
    • Impresión bajo demanda

    Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 53,49

    Envío por EUR 23,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 2 disponibles

    Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Sym

  • Idioma: Inglés

    Editorial: Springer Berlin Heidelberg 2007

    3540697357 / 9783540697350

    • Tapa blanda
    • Impresión bajo demanda

    Librería: moluna, Greven, Alemaniamoluna

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 48,37

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

    Cantidad disponible: Más de 20 disponibles

    Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007

  • Idioma: Inglés

    Editorial: Springer, Springer Jan 2007 2007

    3540697357 / 9783540697350

    • Tapa blanda
    • Impresión bajo demanda

    Librería: buchversandmimpf2000, Emtmannsberg, Alemaniabuchversandmimpf2000

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 53,49

    Envío por EUR 60,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talk.- DIVINE: DIscovering Variables IN Executables.- Session 1.- Verifying Compensating Transactions.- Model Checking Nonblocking MPI Programs.- Model Checking Via CFA.- Using First-Order Theorem Provers in the Jahob Data Struc