دانلود کتاب 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

ابزارها و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: نهمین کنفرانس بین المللی ، TACAS 2003 به عنوان بخشی از کنفرانس های مشترک اروپا در مورد تئوری و عمل نرم افزار ، ETAPS 2003 ورشو ، لهستان ، 7 تا 11 آوریل 2003

زبان : English

نویسندگان : Peter Lee (auth.), Hubert Garavel, John Hatcliff (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2003

ISBN (شابک) : 3540008985, 9783540008989

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 2619

تعداد صفحات : 604[619]

حجم : 5 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان