دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
by Marsha Chechik
|
عنوان فارسی: ابزار و الگوریتم برای ساخت و ساز و تجزیه و تحلیل سیستم: 22 کنفرانس بین المللی، TACAS 2016، برگزار شد به عنوان بخشی از همایش مشترک اروپا در تئوری و عمل از نرم افزار، ETAPS 2016، آیندهوون، هلند، آوریل 2-8، 2016، مجموعه مقالات |