نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
oriented programming with the e verification language-Aspect
پدید آورنده
موضوع
oriented programming (Computer science) ; -Object
رده
کتابخانه
كتابخانه مركزی و مركز اسناد دانشگاه مازندران
محل استقرار
استان:
مازندران
ـ شهر:
بابلسر
تماس با کتابخانه :
62
-
35302861
-
011
شماره کتابشناسی ملی
شماره
oldebook14763
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
eng
عنوان و نام پديدآور
عنوان اصلي
oriented programming with the e verification language-Aspect
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam ;Boston :
نام ناشر، پخش کننده و غيره
: Elsevier/Morgan Kaufmann,
تاریخ نشرو بخش و غیره
, 2007.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
oriented programming (Computer science) ; -Object
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Robinson, David ; (Verification engineer) ;
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد