دانلود کتاب Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings
روشهای رسمی کاربردی — FM-Trends 98: کارگاه بینالمللی درباره روندهای فعلی در روشهای رسمی کاربردی Boppard، آلمان، 7 تا 9 اکتبر 1998 مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 384 |
| حجم فایل | 22 مگابایت |
| کد کتاب | 3540664629),3540664629 |
| نوبت چاپ | 1 |
