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 Korean Women, Self-Esteem, and Practical Theology by
Cover of the book Economics of the Anthropocene Age by
Cover of the book Techniques for Building Timing-Predictable Embedded Systems by
Cover of the book Use of the Normalized Difference Vegetation Index (NDVI) to Assess Land Degradation at Multiple Scales by
Cover of the book Health Without Borders by
Cover of the book Data Driven by
Cover of the book Human Agency and Behavioral Economics by
Cover of the book Business Information Systems Workshops by
Cover of the book Friendship 7 by
Cover of the book Production of the 'Self' in the Digital Age by
Cover of the book Consumer Law and Socioeconomic Development by
Cover of the book Fast Radial Basis Functions for Engineering Applications by
Cover of the book Advances in Human Factors, Software, and Systems Engineering by
Cover of the book Cognition, Metacognition, and Culture in STEM Education by
Cover of the book The Quality of Democracy in Africa 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