Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings - Lecture Notes in Computer Science - Mari Lle Stoelinga - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642324680 - July 17, 2012
In case cover and title do not match, the title is correct

Mari Lle Stoelinga
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings - Lecture Notes in Computer Science 2012 edition

Price
$ 50.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 24 - 30
Get notified about new Mari Lle Stoelinga 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 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. 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.

240 pages, 87 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 17, 2012
ISBN13 9783642324680
Publishers Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Pages 223
Dimensions 155 × 235 × 12 mm   ·   340 g
Language German  
Editor Pinger, Ralf
Editor Stoelinga, Marielle

More from the same publisher

See all of Mari Lle Stoelinga ( e.g. Paperback Book )