Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings - Lecture Notes in Computer Science - Gwen Salaun - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642244308 - September 19, 2011
In case cover and title do not match, the title is correct

Gwen Salaun
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings - Lecture Notes in Computer Science 2011 edition

Price
$ 65.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 17 - 29
Get notified about new Gwen Salaun releases

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 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. 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.

270 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 19, 2011
ISBN13 9783642244308
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 261
Dimensions 155 × 235 × 15 mm   ·   408 g
Language French  
Editor Salaun, Gwen
Editor Schatz, Bernhard

More from the same publisher

See all of Gwen Salaun ( e.g. Paperback Book )