درخواست عضویت
کلمه عبورتان را فراموش کردهاید؟
روش‌های رسمی در مهندسی نرم‌افزار (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 . برای افزودن نظر خود کلیک نمایید. رای شما : بدون امتیاز بد ضعیف خوب بسیار خوب جذاب موضوع شرح نظر شما
