Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Automated Technology for Verification and Analysis by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783030010904
Publisher: Springer International Publishing Publication: September 29, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783030010904
Publisher: Springer International Publishing
Publication: September 29, 2018
Imprint: Springer
Language: English

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.

The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.

More books from Springer International Publishing

Cover of the book Operations Research and Enterprise Systems by
Cover of the book Complex Networks VIII by
Cover of the book Databases and Information Systems by
Cover of the book Africa and the World by
Cover of the book The Ethics of Citizenship in the 21st Century by
Cover of the book Varieties of European Economic Law and Regulation by
Cover of the book India in the American Imaginary, 1780s–1880s by
Cover of the book Social Informatics by
Cover of the book Ecological Liberation Theology by
Cover of the book Large Infrastructure Projects in Germany by
Cover of the book Fundamentals of Computer Architecture and Design by
Cover of the book Knowledge, Information and Creativity Support Systems by
Cover of the book Authenticity: The Cultural History of a Political Concept by
Cover of the book Large-Scale Quantum-Mechanical Enzymology by
Cover of the book Rockets and Ray Guns: The Sci-Fi Science of the Cold War by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy