Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings - Lecture Notes in Computer Science - Matthias Gudemann - Books - Springer International Publishing AG - 9783319194578 - May 27, 2015
In case cover and title do not match, the title is correct

Matthias Gudemann
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings - Lecture Notes in Computer Science 2015 edition

Price
$ 53.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 1 - 7

Our customers say:

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

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications;

213 pages, 61 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 27, 2015
ISBN13 9783319194578
Publishers Springer International Publishing AG
Pages 213
Dimensions 155 × 235 × 12 mm   ·   3.58 kg
Language French  
Editor Gudemann, Matthias
Editor Nunez, Manuel

Mere med samme udgiver

See all of Matthias Gudemann ( e.g. Paperback Book )