دانلود کتاب Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

Name: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
Availability: InStock
Author: Simon N. Foley (auth.)
ISBN: 3540405240, 9783540405245

by Simon N. Foley (auth.), Warren A. Hunt Jr., Fabio Somenzi (eds.)

عنوان فارسی: با کمک کامپیوتر تأیید: 15 کنفرانس بین المللی، CAV 2003، بولدر، CO، ایالات متحده آمریکا، 08-12 ژوئیه، 2003. مجموعه مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2003
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 462-473
شابک: 3540405240, 9783540405245
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 4.00 مگابایت

گزارش تخلف

دانلود کتاب

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

جزییات کتاب

This book constitutes the refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.