Automated Technology for Verification and AnalysisAuthor :
Paperback
Published : Sunday 6 October 2019
Description
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.
You may also like ...
by
Paperback
06 Oct 2019
Algorithms and data structures
€52.64
Extended stock – Dispatch 5-7 days
by
Paperback
08 Dec 2022
Political structure and processes
€19.89
Extended stock – Dispatch 5-7 days
by
Hardback
04 Jan 2022
Mechanical engineering and materials
€174.27
Extended stock – Dispatch 5-7 days
by
Paperback
30 Jun 2021
Economic history
€45.62
Extended stock – Dispatch 5-7 days
Reviews