Home » Nonfiction » Bernd Finkbeiner » Automated Technology for Verification and Analysis

February 16 , 2011

Automated Technology for Verification and Analysis

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


This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October2015.

Download AZW

Read also

Oracle Database Security Interview Questions, Answers, and Explanations: Oracle Database Security Certification Review

It’s clear that Oracle is the future for enterprise information systems data storageand retrieval – but finding the right reference materials can be difficult. For the firsttime, over 150 Oracle Database Security Interview Questions are here to guide your learning. From helping you to assess your Oracle Security skills to evaluating…

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.

How to download book

Buy this book

You can buy this book now only for $55.09. This is the lowest price for this book.

Buy book

Download book free

If you want to download this book for free, please register, approve your account and get one book for free.


After that you may download book «Automated Technology for Verification and Analysis»:

Download Sony BookReader:


Download MobiPocket: