دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers
دانلود کتاب انواع مدارک و برنامه ها: کارگاه بین المللی TYPES'93 Nijmegen، هلند، 24-28 مه 1993 مقالات منتخب
مشخصات کتاب
Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers
ویرایش: [1 ed.]
نویسندگان: Henk Barendregt. Tobias Nipkow (eds.)
سری: Lecture Notes in Computer Science 806
ISBN (شابک) : 3540580859, 9783540580850
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 1994
تعداد صفحات: 395
[390]
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 Mb
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب انواع مدارک و برنامه ها: کارگاه بین المللی TYPES'93 Nijmegen، هلند، 24-28 مه 1993 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
