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 Non-commutative Multiple-Valued Logic Algebras by
Cover of the book Robotics Research by
Cover of the book Perception, Affectivity, and Volition in Husserl’s Phenomenology by
Cover of the book A Clinician's Guide to Integrative Oncology by
Cover of the book Information Security and Cryptology by
Cover of the book Cardiac Arrhythmias, Pacing and Sudden Death by
Cover of the book Financial Accounting by
Cover of the book Evidence-Based Caries Prevention by
Cover of the book Cutaneous Adnexal Neoplasms by
Cover of the book The Quartz Crystal Microbalance in Soft Matter Research by
Cover of the book Two-Dimensional Systems by
Cover of the book Fourier-Malliavin Volatility Estimation by
Cover of the book Guide to Data Structures by
Cover of the book Cutaneous Haptic Feedback in Robotic Teleoperation by
Cover of the book Male Breast Cancer 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