-
Patrick Cousot (auth.)
Click on cover to enlarge.
Buy This Book
From Amazon.
11 - 13Hours to read
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
by Patrick Cousot (auth.)|
|
عنوان فارسی: تأیید، چک کردن مدل، و چکیده تفسیر: 6 کنفرانس بین المللی، VMCAI 2005، پاریس، فرانسه، 17-19 ژانویه، 2005. مجموعه مقالات |
دانلود کتاب
جزییات کتاب
The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on numerical abstraction, verification, heap and shape analysis, abstract model checking, model checking, applied abstract interpretation, and bounded model checking.
کتاب های مرتبط
این کتاب رو مطالعه کردید؟ نظر شما چیست؟
برای ارسال نظر، لطفا وارد شوید.
نظر دهید
Adding comments has been disabled.
نظرات (0)
هنوز نظری داده نشده است. شما اولین باشید!
