دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
by Giorgio Bacci
|
عنوان فارسی: ابزار و الگوریتم برای ساخت و ساز و تجزیه و تحلیل سیستم: 19 کنفرانس بین المللی، TACAS 2013، برگزار شد به عنوان بخشی از همایش مشترک اروپا در تئوری و عمل از نرم افزار، ETAPS 2013، رم، ایتالیا، 16-24 مارس، 2013. مجموعه مقالات |