tacas99

ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: پنجمین کنفرانس بین‌المللی، TACAS’99 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS’99 آمستردام، هلند، 22 تا 28 مارس 1999 مجموعه مقالات برگزار شد.

دانلود کتاب 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 (به فارسی: ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: پنجمین کنفرانس بین‌المللی، TACAS’99 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS’99 آمستردام، هلند، 22 تا 28 مارس 1999 مجموعه مقالات برگزار شد.) نوشته شده توسط «Jeff Kramer – Jeff Magee (auth.) – W. Rance Cleaveland (eds.)» اطلاعات کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها:…