Cyrille Artho
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers - Communications in Computer and Information Science Cyrille Artho 2015 edition

Name: Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers - Communications in Computer and Information Science
Price: 55.99 USD
Availability: OutOfStock
Author: Cyrille Artho

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 de jul.

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

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers - Communications in Computer and Information Science

Cyrille Artho

2015 edition

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

257 pages, 86 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	23 de abril de 2015
ISBN13	9783319175805
Editores	Springer International Publishing AG
Páginas	257
Dimensiones	155 × 235 × 14 mm · 381 g
Lengua	Alemán
Editor	Artho, Cyrille
Editor	OElveczky, Peter Csaba