دانلود کتاب Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
روشهای رسمی برای سیستمهای بحرانی صنعتی: دوازدهمین کارگاه بینالمللی، FMICS 2007، برلین، آلمان، 1-2 ژوئیه، 2007، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 254 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540797068,9783540797067 |
| نوبت چاپ | 1 |