کتاب Formal Verification of Control System Software اثر Pierre-Loic Garoche انتشارات Princeton University Press
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
متفرقهویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
- گروه سنی : بزرگسال
مشخصات محصول
نویسنده
Pierre-Loic Garoche
ناشر
Princeton University Press
شابک
9780691181301
موضوع
اثبات نرمافزار، کنترل سیستمها، روشهای ریاضی
قطع
رقعی
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
232
گروه سنی
بزرگسال
وزن
232 گرم















