دانلود کتاب Formal Methods: Applications and Technology: 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
روشهای رسمی: کاربردها و فناوری: یازدهمین کارگاه بینالمللی، FMICS 2006 و پنجمین کارگاه بینالمللی PDMC 2006، بن، آلمان، 26-27 اوت، و 31 اوت 2006، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 366 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540709517,9783540709510 |
| نوبت چاپ | 1 |
