دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
by Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
|
عنوان فارسی: ابزار و الگوریتم برای ساخت و ساز و تجزیه و تحلیل سیستم: 16 کنفرانس بین المللی، TACAS 2010، برگزار شد به عنوان بخشی از همایش مشترک اروپا در تئوری و عمل از نرم افزار، ETAPS 2010، پافوس، قبرس، 20-28 مارس، 2010. مجموعه مقالات |