دانلود کتاب Coloured Petri Nets: Modelling and Validation of Concurrent Systems
دانلود کتاب 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 |