کتاب Formal Methods in Computer Science اثر Jiacun Wang and William Tepfenhart انتشارات تازه ها
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
متفرقهویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
- گروه سنی : بزرگسال
مشخصات محصول
(روشهای فرمال در علوم کامپیوتر) (Formal Methods in Computer Science) نوشته Jiacun Wang و William Tepfenhart در سال 2017 منتشر شده است. این کتاب به معرفی و کاربرد روشهای ریاضی و منطقی برای تجزیه و تحلیل دقیق سیستمهای نرمافزاری و سختافزاری میپردازد. مفاهیمی مانند منطق ریاضی، الگوریتمهای اثبات صحت، زبانهای توصیف ساختاری و مدلسازی رسمی سیستمها تشریح شدهاند. این کتاب برای دانشجویان علوم کامپیوتر و مهندسی نرمافزار در درک مبانی نظری روشهای فرمال مفید است.
نویسنده
Jiacun Wang and William Tepfenhart
ناشر
تازه ها
شابک
9781498775328
موضوع
روشهای فرمال، منطق ریاضی، اعتبارسنجی
قطع
رقعی
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
294
گروه سنی
بزرگسال
وزن
294 گرم
