Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, - - Books - Springer International Publishing AG - 9783319459424 - September 14, 2016
In case cover and title do not match, the title is correct

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, 1st ed. 2016 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 15

Our customers say:

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

263 pages, 89 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 14, 2016
ISBN13 9783319459424
Publishers Springer International Publishing AG
Pages 247
Dimensions 155 × 235 × 14 mm   ·   371 g
Language German  
Editor Gnesi, Stefania
Editor Knapp, Alexander
Editor Ter Beek, Maurice H.

Mere med samme udgiver