دانلود کتاب Computation engineering: applied automata theory and logic
دانلود کتاب Computation engineering: applied automata theory and logic
دانلود کتاب Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
روشهای رسمی در طراحی به کمک رایانه: دومین کنفرانس بینالمللی، FMCAD 98 پالو آلتو، کالیفرنیا، ایالات متحده آمریکا، 4 تا 6 نوامبر 1998 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 538 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540651918,9783540651918 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
روشهای رسمی در طراحی به کمک رایانه: دومین کنفرانس بینالمللی، FMCAD 98 پالو آلتو، کالیفرنیا، ایالات متحده آمریکا، 4 تا 6 نوامبر 1998 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 538 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540651918,9783540651918 |
| نوبت چاپ | 1 |