دانلود کتاب Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
دسته: کامپیوتر
کتاب تأیید صحت رایانه: پنجمین کنفرانس بین المللی ، Cav '93 Elounda ، یونان ، 28 ژوئن - 1 ژوئیه 1993 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب تأیید صحت رایانه: پنجمین کنفرانس بین المللی ، Cav '93 Elounda ، یونان ، 28 ژوئن - 1 ژوئیه 1993 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
نام کتاب : Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : تأیید صحت رایانه: پنجمین کنفرانس بین المللی ، Cav '93 Elounda ، یونان ، 28 ژوئن - 1 ژوئیه 1993 مجموعه مقالات
سری : Lecture Notes in Computer Science 697
نویسندگان : Robert K. Brayton (auth.), Costas Courcoubetis (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1993
تعداد صفحات : 513
ISBN (شابک) : 3540569227 , 9783540569220
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی