دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

ابزارها و الگوریتم های ساخت و تجزیه و تحلیل سیستم ها: پنجمین کنفرانس بین المللی ، TACAS’99 به عنوان بخشی از کنفرانس های مشترک اروپا در مورد تئوری و عملکرد نرم افزار ، ETAPS’99 آمستردام ، هلند ، 22 تا 28 مارس ، 1999

زبان : English

نویسندگان : Jeff Kramer, Jeff Magee (auth.), W. Rance Cleaveland (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1999

ISBN (شابک) : 3540657037, 9783540657033

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

سری : Lecture Notes in Computer Science 1579

تعداد صفحات : 456

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

فرمت کتاب : pdf

قیمت : 36000 تومان