دانلود کتاب 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 |
دانلود کتاب Formal Techniques for Networked and Distributed Systems – FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده - FORTE 2005: بیست و پنجمین کنفرانس بین المللی IFIP WG 6.1، تایپه، تایوان، 2-5 اکتبر 2005. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 558 |
| حجم فایل | 8 مگابایت |
| کد کتاب | 354029189X,9783540291893 |
| نوبت چاپ | 1 |