Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Nonfiction, Computers, Programming, 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: 9783319249537
Publisher: Springer International Publishing Publication: October 7, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319249537
Publisher: Springer International Publishing
Publication: October 7, 2015
Imprint: Springer
Language: English

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. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

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

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. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

More books from Springer International Publishing

Cover of the book Biology of Microorganisms on Grapes, in Must and in Wine by
Cover of the book Literature, Pedagogy, and Curriculum in Secondary Education by
Cover of the book New Approaches in Intelligent Image Analysis by
Cover of the book The Vienna Circle by
Cover of the book Phytoremediation by
Cover of the book Advances in Neural Networks – ISNN 2018 by
Cover of the book Atmospheric and Space Sciences: Neutral Atmospheres by
Cover of the book The Palgrave Handbook of Decentralisation in Europe by
Cover of the book Locating, Classifying and Countering Agile Land Vehicles by
Cover of the book City Making and Global Labor Regimes by
Cover of the book Political Correctness and the Destruction of Social Order by
Cover of the book Issues in Contemporary Oil Paint by
Cover of the book Interactive Storytelling by
Cover of the book Christianity, Wealth, and Spiritual Power in Ghana by
Cover of the book Nietzsche’s Nihilism in Walter Benjamin 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