دانلود کتاب Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
دانلود کتاب Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
فناوری خودکار برای تأیید و تجزیه و تحلیل: دومین کنفرانس بین المللی، ATVA 2004، تایپه، تایوان، ROC، 31 اکتبر تا 3 نوامبر 2004. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 510 |
| حجم فایل | 18 مگابایت |
| کد کتاب | 3540236104,9783540236108,9783540304760 |
| نوبت چاپ | 1 |
دانلود کتاب Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
فناوری خودکار برای تأیید و تجزیه و تحلیل: دومین کنفرانس بین المللی، ATVA 2004، تایپه، تایوان، ROC، 31 اکتبر تا 3 نوامبر 2004. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 510 |
| حجم فایل | 9 مگابایت |
| کد کتاب | 3540236104,9783540236108 |
| نوبت چاپ | 1 |