دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers
by Olaf Müller
|
عنوان فارسی: ابزارها و الگوریتم\ها برای ساخت و تحلیل سیستم\ها: اولین کارگاه بین\المللی، TACAS '95 آرهوس، دانمارک، 19–20 مه 1995 مقالات منتخب |