دانلود کتاب Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
دانلود کتاب Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
روشهای رسمی و مهندسی نرمافزار: نهمین کنفرانس بینالمللی روشهای مهندسی رسمی، ICFEM 2007، Boca Raton، FL، ایالات متحده آمریکا، 14-15 نوامبر، 2007. مجموعه مقالات
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 387 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540766480,9783540766483 |
| نوبت چاپ | 1 |
