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 - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642324680 - 17 de julho de 2012
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
R$ 275,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Mari Lle Stoelinga
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 17 de julho de 2012
ISBN13 9783642324680
Editoras Springer-Verlag Berlin and Heidelberg Gm
Gênero Aspects (Academic) > Science / Technology Aspects
Páginas 223
Dimensões 155 × 235 × 12 mm   ·   340 g
Idioma Alemão  
Editor Pinger, Ralf
Editor Stoelinga, Marielle

Mais da mesma editora