دانلود کتاب FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
FM 2008: روش های رسمی: پانزدهمین سمپوزیوم بین المللی روش های رسمی، تورکو، فنلاند، 26-30 می، 2008 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 436 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 354068235X,9783540682356 |
| نوبت چاپ | 1 |