Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, - - Books - Springer International Publishing AG - 9783319671123 - August 25, 2017
In case cover and title do not match, the title is correct

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, 1st ed. 2017 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16

Our customers say:

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

235 pages, 52 Illustrations, black and white; XIV, 235 p. 52 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 25, 2017
ISBN13 9783319671123
Publishers Springer International Publishing AG
Pages 235
Dimensions 150 × 220 × 10 mm   ·   3.87 kg
Language German  
Editor Cavalcanti, Ana
Editor Petrucci, Laure
Editor Seceleanu, Cristina

Mere med samme udgiver