Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, 1st ed. 2016 edition

Name: Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy,
Price: 65.49 USD
Availability: OutOfStock

Precio

$ 65,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de ago. - 10 de sep.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Aún no valorado

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy,

1st ed. 2016 edition

263 pages, 89 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	14 de septiembre de 2016
ISBN13	9783319459424
Editores	Springer International Publishing AG
Páginas	247
Dimensiones	155 × 235 × 14 mm · 371 g
Lengua	Alemán
Editor	Gnesi, Stefania
Editor	Knapp, Alexander
Editor	Ter Beek, Maurice H.