Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings - Lecture Notes in Computer Science - Mari Lle Stoelinga - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642324680 - 17 de julio de 2012
En caso de que portada y título no coincidan, el título será el correcto

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings - Lecture Notes in Computer Science 2012 edition

Precio
$ 50,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 21 de jul. - 3 de ago.
Añadir a tu lista de deseos de iMusic

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.


240 pages, 87 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de julio de 2012
ISBN13 9783642324680
Editores Springer-Verlag Berlin and Heidelberg Gm
Género Aspects (Academic) > Science / Technology Aspects
Páginas 223
Dimensiones 155 × 235 × 12 mm   ·   340 g
Lengua Alemán  
Editor Pinger, Ralf
Editor Stoelinga, Marielle

Mere med samme udgiver