دانلود کتاب Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

تأیید به کمک رایانه: بیستمین کنفرانس بین المللی ، CAV 2008 پرینستون ، نیوجرسی ، ایالات متحده آمریکا ، مجموعه مقالات 7 تا 14 ژوئیه 2008

زبان : English

نویسندگان : James R. Larus (auth.), Aarti Gupta, Sharad Malik (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2008

ISBN (شابک) : 3540705430, 9783540705437

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

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

تعداد صفحات : 558[573]

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

فرمت کتاب : pdf

قیمت : 36000 تومان