دانلود کتاب Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture … / Programming and Software Engineering)
روش های رسمی برای سیستم های بحرانی صنعتی: چهاردهمین کارگاه بین المللی، FMICS 2009، آیندهوون، هلند، 2-3 نوامبر 2009، مجموعه مقالات (سخنرانی ... / برنامه نویسی و مهندسی نرم افزار)
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 206 |
| حجم فایل | 9 مگابایت |
| کد کتاب | 3642045693,9783642045691 |
| نوبت چاپ | 1 |