دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings
ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: دهمین کنفرانس بین‌المللی، TACAS 2004، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2004، بارسلونا، اسپانیا، 29 مارس - 2 آوریل 2004 برگزار شد.
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 614 |
| حجم فایل | 12 مگابایت |
| کد کتاب | 354021299X,9783540212997,9783540247302 |
| نوبت چاپ | 1 |
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings
ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: دهمین کنفرانس بین‌المللی، TACAS 2004، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2004، بارسلونا، اسپانیا، 29 مارس - 2 آوریل 2004 برگزار شد.
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 614 |
| حجم فایل | 11 مگابایت |
| کد کتاب | 354021299X,9783540212997 |
| نوبت چاپ | 1 |