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 Expectations and Disappointments of Industrial Innovations by
Cover of the book Cities and Mega-Cities by
Cover of the book Musculoskeletal Research and Basic Science by
Cover of the book Economic Evaluation of Climate Change Impacts by
Cover of the book Open Data Politics by
Cover of the book Dietary Patterns and Whole Plant Foods in Aging and Disease by
Cover of the book Numerical Optimization with Computational Errors by
Cover of the book Divorce in Transnational Families by
Cover of the book Handbook of Climate Change Communication: Vol. 1 by
Cover of the book Methodological Reflections on Researching Communication and Social Change by
Cover of the book Paste Tailings Management by
Cover of the book Water Policy in Canada by
Cover of the book Mobile Services for Toy Computing by
Cover of the book Rough Sets and Knowledge Technology by
Cover of the book Mechatronics: Ideas, Challenges, Solutions and Applications 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