Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - Lecture Notes in Computer Science - - Books - Springer International Publishing AG - 9783319249520 - November 22, 2015
In case cover and title do not match, the title is correct

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition

Price
Íkr 6,899
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 22 - 30

Our customers say:

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

Not rated yet

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions.

484 pages, 96 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 22, 2015
ISBN13 9783319249520
Publishers Springer International Publishing AG
Pages 520
Dimensions 155 × 235 × 27 mm   ·   8.02 kg
Language German  
Editor Finkbeiner, Bernd
Editor Pu, Geguang
Editor Zhang, Lijun

Mere med samme udgiver