دانلود کتاب 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
by Shuvendu K. Lahiri
|
عنوان فارسی: ابزار و الگوریتم برای ساخت و ساز و تجزیه و تحلیل سیستم: 10 کنفرانس بین المللی، TACAS سال 2004، برگزار شد به عنوان بخشی از همایش مشترک اروپا در تئوری و عمل از نرم افزار، ETAPS سال 2004، بارسلونا، اسپانیا، 29 مارس-آوریل 2، 2004. مجموعه مقالات |