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

Mar a Alpuente

Preço
€ 66,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 18 - 27 de mar
Adicione à sua lista de desejos do iMusic

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

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
Genre Aspects (Academic) > Science / Technology Aspects
Páginas 213
Dimensões 155 × 235 × 13 mm   ·   362 g
Idioma French  
Editor Alpuente, Maria
Editor Cook, Byron
Editor Joubert, Christophe