دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
by Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.)
|
عنوان فارسی: ابزار و الگوریتم برای ساخت و ساز و تجزیه و تحلیل سیستم: 18 کنفرانس بین المللی، TACAS 2012، برگزار شد به عنوان بخشی از همایش مشترک اروپا در تئوری و عمل از نرم افزار، ETAPS 2012، Tallinn، استونی، 24 مارس - آوریل 1، 2012. مجموعه مقالات |