Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers - Communications in Computer and Information Science - - Libros - Springer Nature Switzerland AG - 9783030129873 - 2 de febrero de 2019
En caso de que portada y título no coincidan, el título será el correcto

Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers - Communications in Computer and Information Science 2019 edition

Precio
Mex$ 963
sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 13 de ago.

Nuestros clientes opinan:

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

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions.

179 pages, 23 Illustrations, color; 270 Illustrations, black and white; XII, 179 p. 293 illus., 23 i

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 2 de febrero de 2019
ISBN13 9783030129873
Editores Springer Nature Switzerland AG
Páginas 179
Dimensiones 235 × 154 × 13 mm   ·   302 g
Lengua Alemán  
Editor Artho, Cyrille
Editor Olveczky, Peter Csaba

Más del mismo editor