دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

توضیحاتی در مورد کتاب Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

نام کتاب : Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: نهمین کنفرانس بین‌المللی، TACAS 2003 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار برگزار شد، ETAPS 2003 ورشو، لهستان، 7-11 آوریل، 2003 مجموعه مقالات
سری : Lecture Notes in Computer Science 2619
نویسندگان : Peter Lee (auth.), Hubert Garavel, John Hatcliff (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2003
تعداد صفحات : 619
ISBN (شابک) : 3540008985 , 9783540008989
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت