دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings
by Jeff Kramer
|
عنوان فارسی: ابزارها و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: پنجمین کنفرانس بین المللی ، TACAS’99 به عنوان بخشی از کنفرانس های مشترک اروپایی نظریه و عمل نرم افزار ، ETAPS’99 آمستردام ، هلند ، 22 تا 28 مارس ، 1999 |