دانلود کتاب Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
دسته: کامپیوتر
کتاب تأیید به کمک رایانه: پانزدهمین کنفرانس بین المللی، CAV 2003، بولدر، CO، ایالات متحده آمریکا، 8-12 ژوئیه، 2003. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب تأیید به کمک رایانه: پانزدهمین کنفرانس بین المللی، CAV 2003، بولدر، CO، ایالات متحده آمریکا، 8-12 ژوئیه، 2003. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
نام کتاب : Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : تأیید به کمک رایانه: پانزدهمین کنفرانس بین المللی، CAV 2003، بولدر، CO، ایالات متحده آمریکا، 8-12 ژوئیه، 2003. مجموعه مقالات
سری : Lecture Notes in Computer Science 2725
نویسندگان : Simon N. Foley (auth.), Warren A. Hunt Jr., Fabio Somenzi (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2003
تعداد صفحات : 473
ISBN (شابک) : 3540405240 , 9783540405245
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی