دانلود کتاب Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, EAuthor: Stefan Kowalewski; Anna Philippou
by Stefan Kowalewski
|
عنوان فارسی: ابزار و الگوریتم ها برای ساخت و ساز و تجزیه و تحلیل سیستم کنفرانس بین المللی 15 ، TACAS 2009، به عنوان بخشی از همایش مشترک اروپا در تئوری و عمل از نرم افزار، EAuthor برگزار شد: استفان Kowalewski ؛ آنا Philippou |