دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
ابزارها و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: دوازدهمین کنفرانس بین المللی ، TACAS 2006 ، به عنوان بخشی از کنفرانس های مشترک اروپایی نظریه و عمل نرم افزار ، ETAPS 2006 ، وین ، اتریش ، 25 مارس - 2 آوریل 2006. مجموعه مقالات
زبان : English
نویسندگان : Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2006
ISBN (شابک) : 3540330569, 9783540330561
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 3920 : Theoretical Computer Science and General Issues
تعداد صفحات : 512[518]
حجم : 5 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان
