دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
ابزارها و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: ششمین کنفرانس بین المللی ، TACAS 2000 به عنوان بخشی از کنفرانس های مشترک اروپا در مورد تئوری و عملکرد نرم افزار ، ETAPS 2000 برلین ، آلمان ، 25 مارس - 2 آوریل 2000
زبان : English
نویسندگان : Pierre Wolper, Bernard Boigelot (auth.), Susanne Graf, Michael Schwartzbach (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2000
ISBN (شابک) : 3540672826, 9783540672821
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 1785
تعداد صفحات : 552[569]
حجم : 5 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان