Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers - Communications in Computer and Information Science - - Libros - Springer International Publishing AG - 9783319539454 - 16 de febrero de 2017
En caso de que portada y título no coincidan, el título será el correcto

Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers - Communications in Computer and Information Science 1st ed. 2017 edition

Precio
Mex$ 961
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jul. - 11 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 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions.

161 pages, 40 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 16 de febrero de 2017
ISBN13 9783319539454
Editores Springer International Publishing AG
Páginas 161
Dimensiones 155 × 235 × 10 mm   ·   254 g
Lengua Alemán  
Editor Artho, Cyrille
Editor OElveczky, Peter Csaba

Más del mismo editor