دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings
دانلود کتاب روش های رسمی یکپارچه: دومین کنفرانس بین المللی، IFM 2000 قلعه داگستول، آلمان، 1 تا 3،2000 نوامبر مجموعه مقالات
مشخصات کتاب
Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings
ویرایش: [1 ed.] نویسندگان: Tony Hoare (auth.), Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.) سری: Lecture Notes in Computer Science 1945 ISBN (شابک) : 3540411968, 9783540411963 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2000 تعداد صفحات: 446 [448] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی یکپارچه: دومین کنفرانس بین المللی، IFM 2000 قلعه داگستول، آلمان، 1 تا 3،2000 نوامبر مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
