دانلود کتاب Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

تأیید رایانه ای: هفدهمین کنفرانس بین المللی ، CAV 2005 ، ادینبورگ ، اسکاتلند ، انگلیس ، 6-10 ژوئیه 2005.

زبان : English

نویسندگان : George C. Necula, Sumit Gulwani (auth.), Kousha Etessami, Sriram K. Rajamani (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2005

ISBN (شابک) : 3540272313, 9783540272311

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 3576 : Theoretical Computer Science and General Issues

تعداد صفحات : 568[578]

حجم : 5 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان