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

روش‌های رسمی در مهندسی نرم‌افزار (1400) / اورگان ، جرارد، نویسنده
نوع مدرک:متون چاپی
سرشناسهاورگان ، جرارد، نویسنده
شماره بازیابی :QA76/9 ‭/ج4 ر9 1400
عنوان :روش‌های رسمی در مهندسی نرم‌افزار
تکرار نام مولف :نویسنده جرارد رگان ؛ مترجمان امیرحسین آشنا، زهرا عسکری‌نژادامیری ویراستار فنی هادی محمدزاده
ناشر:تهران : دانشکده غیر دولتی- غیر انتفاعی رفاه، انتشارات
سال نشر :1400
صفحه شمار:414 ص
ویژگی :مصور (بخشی رنگی)، جدول
شابک/شاپا978-6-229-50329-4
قیمت :1180000ریال
یادداشتعنوان اصلی: Concise guide to formal methods: theory, fundamentals and industry applications, 2017
کتابنامه: ص. [401] - 403
نمایه
شناسه افزوده :آشنا ، امیرحسین (1352 -)، مترجم
دانشکده غیر دولتی- غیر انتفاعی رفاه . انتشارات
عسکری‌نژاد امیری ، زهرا (1365-)، مترجم
محمدزاده ، هادی (1348 -)، ویراستار
موضوع‌ها :اصفا
علوم کامپیوتر-- ریاضیات ؛ Computer science-- Mathematics ؛ نرم‌افزار-- استفاده مجدد ؛ Computer software-- Reusability ؛ منطق ریاضی ؛ Logic, Symbolic and mathematical ؛ نرم‌افزار-- مهندسی ؛ Software engineering
لینک ثابت رکورد:../opac/index.php?lvl=record_display&id=9224
زبان مدرک :فارسی زبان اصلی : English

 درخواست رزرو

 فهرست موجودی مدرک

شماره ثبتشماره بازیابینام عام موادمحل نگهداریبخشوضعیت ثبتوضعیت امانتگرایش تحصیلی
13225QA76/9 ‭/ج4 ر9 1400 کتاب فارسیکتابخانه مرکزی دانشکده رفاهسایرمدارک مفقود شدهموجود  
13318QA76/9 ‭/ج4 ر9 1400 ن.2کتاب فارسیکتابخانه مرکزی دانشکده رفاهسایراسناد معمولیموجود  
13562QA76/9 ‭/ج4 ر9 1400 ن.3کتاب فارسیکتابخانه مرکزی دانشکده رفاهسایراسناد معمولیموجود  

 نظرهای کاربران درباره این مدرک

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

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