Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings - Lecture Notes in Computer Science - - Books - Springer Nature Switzerland AG - 9783030317836 - October 6, 2019
In case cover and title do not match, the title is correct

Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings - Lecture Notes in Computer Science 2019 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

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 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions.

552 pages, 60 Illustrations, color; 694 Illustrations, black and white; XI, 552 p. 754 illus., 60 il

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 6, 2019
ISBN13 9783030317836
Publishers Springer Nature Switzerland AG
Pages 552
Dimensions 150 × 220 × 10 mm   ·   854 g
Language German  
Editor Chen, Yu-Fang
Editor Cheng, Chih-Hong
Editor Esparza, Javier

Mere med samme udgiver