دانلود کتاب Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
تأیید به کمک رایانه: شانزدهمین کنفرانس بین المللی ، CAV 2004 ، بوستون ، MA ، ایالات متحده آمریکا ، 13 تا 17 ژوئیه ، 2004. مجموعه مقالات
زبان : English
نویسندگان : Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2004
ISBN (شابک) : 3540223428, 9783540223429, 9783540278139
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 3114
تعداد صفحات : 536[549]
حجم : 10 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان