Automated Technology for Verification and Analysis - - Books - Springer Nature Switzerland AG - 9783030010898 - September 30, 2018
In case cover and title do not match, the title is correct

Automated Technology for Verification and Analysis 1st ed. 2018 edition

Price
Íkr 6,889
excl. VAT

Ordered from remote warehouse

Expected delivery Apr 20 - 28

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 refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.

560 pages, 133 Illustrations, black and white; XIII, 560 p. 133 illus.

Media Books     Book
Released September 30, 2018
ISBN13 9783030010898
Publishers Springer Nature Switzerland AG
Pages 560
Dimensions 150 × 220 × 20 mm   ·   861 g
Language German  
Editor Lahiri, Shuvendu K.
Editor Wang, Chao