Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I - Theoretical Computer Science and General Issues - - Books - Springer International Publishing AG - 9783319471655 - October 6, 2016
In case cover and title do not match, the title is correct

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I - Theoretical Computer Science and General Issues 1st ed. 2016 edition

Price
NOK 1,079
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 4 - 14

Our customers say:

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

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I - Theoretical Computer Science and General Issues 1st ed. 2016 edition

974 pages, 256 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 6, 2016
ISBN13 9783319471655
Publishers Springer International Publishing AG
Pages 974
Dimensions 155 × 235 × 50 mm   ·   1.37 kg
Language German  
Editor Margaria, Tiziana
Editor Steffen, Bernhard