دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
ابزارها و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: چهاردهمین کنفرانس بین المللی ، TACAS 2008 ، به عنوان بخشی از کنفرانس های مشترک اروپا درباره نظریه و عمل نرم افزار ، ETAPS 2008 ، بوداپست ، مجارستان ، 29 مارس - 6 آوریل 2008.
زبان : English
نویسندگان : Sharad Malik (auth.), C. R. Ramakrishnan, Jakob Rehof (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2008
ISBN (شابک) : 3540787992, 9783540787990
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 4963 : Theoretical Computer Science and General Issues
تعداد صفحات : 520[532]
حجم : 6 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان