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 Violence, Colonialism and Empire in the Modern World by
Cover of the book Social Ties in Online Networking by
Cover of the book Digital Workplace Learning by
Cover of the book Current Challenges in Stability Issues for Numerical Differential Equations by
Cover of the book Arctic Environmental Modernities by
Cover of the book Multimodal Retrieval in the Medical Domain by
Cover of the book Implementing Polytope Projects for Smart Systems by
Cover of the book Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction by
Cover of the book Nutrition Guide for Physicians and Related Healthcare Professionals by
Cover of the book Meanings & Co. by
Cover of the book Interaction in Digital News Media by
Cover of the book Formation, Evolution, and Dynamics of Young Solar Systems by
Cover of the book Advances in Web-Based Learning -- ICWL 2015 by
Cover of the book Abraham Lincoln and William Cullen Bryant by
Cover of the book Hypotheses and Perspectives in the History and Philosophy of Science 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