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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642045691 - October 26, 2009
In case cover and title do not match, the title is correct

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

Price
A$ 102.99

Ordered from remote warehouse

Expected delivery Mar 20 - Apr 2

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 26, 2009
ISBN13 9783642045691
Publishers Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Pages 213
Dimensions 155 × 235 × 13 mm   ·   362 g
Language French  
Editor Alpuente, Maria
Editor Cook, Byron
Editor Joubert, Christophe

See all of Mar a Alpuente ( e.g. Paperback Book )