دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings
by Randal E. Bryant (auth.)
|
عنوان فارسی: ابزارها و الگوریتم\ها برای ساخت و تحلیل سیستم\ها: چهارمین کنفرانس بین\المللی، TACAS'98 به عنوان بخشی از کنفرانس\های مشترک اروپایی در نظریه و عمل نرم\افزار، ETAPS'98 لیسبون، پرتغال، 28 مارس – 4 آوریل 1998 مجموعه مقالات برگزار شد. |