معرفی اجمالی
مشخصات محصول
فروشندگان
معرفی اجمالی
کتاب کافه: یک روش فرمال جبری با قدرت صنعتی، نوشته K. Futatsugi، استاد دانشگاه آئوموری ژاپن، در سال 1998 میلادی منتشر شده است. این کتاب به معرفی روش فرمال CAFE می‌پردازد که یک روش ریاضی برای توصیف سیستم‌های پیچیده نرم‌افزاری است. کتاب ضمن تشریح پایه‌های نظری این روش، کاربردهای صنعتی آن را در طراحی و توسعه نرم‌افزارهای پیچیده بررسی می‌کند. مخاطبان این اثر مهندسان نرم‌افزار و محققان حوزه روش‌های فرمال هستند. کتاب مرجعی مفید برای آشنایی با کاربرد ریاضیات در مهندسی نرم‌افزار است.
مشخصات کتاب CAFE اثر K. Futatsugi انتشارات تازه ها
| نوع کاغذ: | تحریر |
|---|---|
| نوع جلد: | شومیز |
| وزن: | 208 گرم |
| تعداد صفحه: | 208 |
| گروه سنی: | بزرگسال |
| موضوع: | روش فرمال جبری، مهندسی نرم‌افزار، ریاضیات |
| قطع: | رقعی |
| نویسنده: | K. Futatsugi |
| شابک: | 9780444539854 |
| ناشر: | تازه ها |
فروشندگان
جستجوهای مرتبط
محصولات مشابه
مشاهده همه محصولات مشابه