Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

دانلود کتاب Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

دسته: کامپیوتر

75000 تومان موجود

کتاب تأیید به کمک رایانه: بیست و یکمین کنفرانس بین المللی، CAV 2009، گرنوبل، فرانسه، 26 ژوئن - 2 ژوئیه، 2009. مجموعه مقالات

دانلود کتاب تأیید به کمک رایانه: بیست و یکمین کنفرانس بین المللی، CAV 2009، گرنوبل، فرانسه، 26 ژوئن - 2 ژوئیه، 2009. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید



امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 3


توضیحاتی در مورد کتاب Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

نام کتاب : Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : تأیید به کمک رایانه: بیست و یکمین کنفرانس بین المللی، CAV 2009، گرنوبل، فرانسه، 26 ژوئن - 2 ژوئیه، 2009. مجموعه مقالات
سری : Lecture Notes in Computer Science 5643 : Theoretical Computer Science and General Issues
نویسندگان : , , ,
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2009
تعداد صفحات : 736
ISBN (شابک) : 3642026575 , 9783642026577
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 13 مگابایت



Buy This Book From EBOOKST.COM

بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.




پست ها تصادفی