Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - Programming and Software Engineering - Mar a Alpuente - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642045691 - 26 de outubro de 2009
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - Programming and Software Engineering 2009 edition

Preço
R$ 297,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 5 de out
Receba avisos sobre novos lançamentos de Mar a Alpuente
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. 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.


223 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 26 de outubro de 2009
ISBN13 9783642045691
Editoras Springer-Verlag Berlin and Heidelberg Gm
Gênero Aspects (Academic) > Science / Technology Aspects
Páginas 213
Dimensões 155 × 235 × 13 mm   ·   362 g
Idioma Francês  
Editor Alpuente, Maria
Editor Cook, Byron
Editor Joubert, Christophe

Mais da mesma editora