دسترسی همگانی(OPAC) نام کتابخانه در اوپک

Proof, Language and interaction (2000) / Plotkin ، Gordon، نویسنده
نوع مدرک:برنامه‌ها و فایلهای کامپیوتری
سرشناسهPlotkin ، Gordon، نویسنده
عنوان :Proof, Language and interaction
تکرار نام مولف :Colin Stirling, Mads Tofte
ناشر:بیجا : MIT Press
سال نشر :2000
صفحه شمار:722
لینک ثابت رکورد:../opac/index.php?lvl=record_display&id=4624
زبان مدرک :English
شماره ثبتشماره بازیابینام عام موادمحل نگهداریوضعیت ثبتوضعیت امانت
فاقد شماره ثبت

تعداد نظرات کاربران :0 . برای افزودن نظر خود کلیک نمایید.

کاربران آنلاین :0