Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings - Programming and Software Engineering - Frederic Lang - Books - Springer International Publishing AG - 9783319107011 - August 20, 2014
In case cover and title do not match, the title is correct

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings - Programming and Software Engineering 2014 edition

Price
$ 53.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6
Add to your iMusic wish list

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. They are organized in topical sections named: cyber-physical systems; railway control systems;


201 pages, 84 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 20, 2014
ISBN13 9783319107011
Publishers Springer International Publishing AG
Pages 201
Dimensions 155 × 235 × 12 mm   ·   308 g
Language French  
Editor Flammini, Francesco
Editor Lang, Frederic

Mere med samme udgiver