دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings
دانلود کتاب نرم افزار بررسی مدل: سیزدهمین کارگاه بین المللی SPIN، وین، اتریش، 30 مارس - 1 آوریل 2006. مجموعه مقالات
مشخصات کتاب
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings
ویرایش: [1 ed.] نویسندگان: Stefan Edelkamp, Shahid Jabbar (auth.), Antti Valmari (eds.) سری: Lecture Notes in Computer Science 3925 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540331026, 9783540331025 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 308 [315] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 30,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار بررسی مدل: سیزدهمین کارگاه بین المللی SPIN، وین، اتریش، 30 مارس - 1 آوریل 2006. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب La souffrance portee au langage dans la prose de Samuel Beckett (Faux Titre 266) (Faux Titre)
