دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

ابزارها و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: دهمین کنفرانس بین المللی ، TACAS 2004 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد تئوری و عمل نرم افزار ، ETAPS 2004 ، بارسلون ، اسپانیا ، 29 مارس - 2 آوریل 2004. مجموعه مقالات

زبان : English

نویسندگان : Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2004

ISBN (شابک) : 354021299X, 9783540212997, 9783540247302

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

سری : Lecture Notes in Computer Science 2988

تعداد صفحات : 614[623]

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

فرمت کتاب : pdf

قیمت : 36000 تومان