دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
ابزارها و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: هفتمین کنفرانس بین المللی ، TACAS 2001 به عنوان بخشی از کنفرانس های مشترک اروپا در مورد تئوری و عمل نرم افزار ، ETAPS 2001 ژنو ، ایتالیا ، 2 تا 6 آوریل 2001
زبان : English
نویسندگان : Moshe Y. Vardi (auth.), Tiziana Margaria, Wang Yi (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2001
ISBN (شابک) : 3540418652, 9783540418658
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2031
تعداد صفحات : 594[601]
حجم : 5 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان