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

Mar a Alpuente
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

Price
Íkr 6,909
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 20 - 28

Our customers say:

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

Not rated yet

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

Mere med samme udgiver

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