دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
ابزارها و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: هشتمین کنفرانس بین المللی ، TACAS 2002 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد تئوری و عمل نرم افزار ، ETAPS 2002 گرنوبل ، فرانسه ، 8 تا 12 آوریل 2002
زبان : English
نویسندگان : Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2002
ISBN (شابک) : 9783540434191, 3540434194
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2280
تعداد صفحات : 486[495]
حجم : 3 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان