Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers - Communications in Computer and Information Science - - Libros - Springer Nature Switzerland AG - 9783030469016 - 26 de abril de 2020
En caso de que portada y título no coincidan, el título será el correcto

Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers - Communications in Computer and Information Science 2020 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

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

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions.

141 pages, 23 Illustrations, color; 58 Illustrations, black and white; VIII, 141 p. 81 illus., 23 il

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de abril de 2020
ISBN13 9783030469016
Editores Springer Nature Switzerland AG
Páginas 141
Dimensiones 150 × 220 × 10 mm   ·   242 g
Lengua Alemán  
Editor Hasan, Osman
Editor Mallet, Frederic

Mere med samme udgiver