دانلود کتاب Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Name: Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Availability: InStock
Author: Cyrille Artho
ISBN: 9783319465197,9783319465203

by Cyrille Artho, Axel Legay, Doron Peled (eds.)

عنوان فارسی: فن آوری خودکار برای تایید و تجزیه و تحلیل: 14th International Symposium، ATVA 2016، Chiba، Japan، October 17-20، 2016، Proceedings
ناشر: Springer International Publishing
سال: 2016
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): XI, 530-52
شابک: 9783319465197,9783319465203
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 12.70 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.