Formal methods applications technology (8 resultados)

Título

Filtrar la búsqueda

  • Libros (8)

a

Intervalo de precios personalizado (EUR)

a

    • Idioma: Inglés

      Editorial: North Holland 1994

      0444819703 / 9780444819703

      • Tapa blanda

      Librería: Librairie Thé à la page, Montélimar, FranciaLibrairie Thé à la page

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Usado - Excelente

      EUR 55,69

      Envío por EUR 14,00 
      Se envía de Francia a Estados Unidos de America

      Cantidad disponible: 1 disponibles

      Couverture souple. Condición: Tres bon. North Holland, 1994. 1 volume broché(s) format In-8 très bon.

    • Condición: Nuevo

      EUR 60,68

      Envío por EUR 13,89 
      Se envía de Reino Unido a Estados Unidos de America

      Cantidad disponible: Más de 20 disponibles

      Condición: New. In.

    • Condición: Nuevo

      EUR 80,03

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

      Cantidad disponible: 2 disponibles

      Paperback. Condición: Brand New. 1st edition. 361 pages. 9.00x6.00x0.75 inches. In Stock.

    • Condición: Nuevo

      EUR 53,49

      Envío por EUR 62,85 
      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 - These are the joint nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the fth International Workshop on Parallel and Distributed Methods in Veri cation (PDMC 2006). Both workshops

    • Más imágenes

      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. Formal Methods: Applications and Technology | 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revi | Lubos Brim (

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg Feb 2007 2007

      3540709517 / 9783540709510

      • 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 -This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 200

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg 2007

      3540709517 / 9783540709510

      • 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

      Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verific

    • Idioma: Inglés

      Editorial: Springer, Springer Feb 2007 2007

      3540709517 / 9783540709510

      • 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 -These are the joint nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the fth International Workshop on Parallel and Distributed Methods in Veri cation (PDMC 2006). Bot