دانلود کتاب Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

جنبه های نظری محاسبات - ICTAC 2007: چهارمین همایش بین المللی ، ماکائو ، چین ، 26 تا 28 سپتامبر ، 2007. مجموعه مقالات

زبان : English

نویسندگان : Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540752900, 9783540752905

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

سری : Lecture Notes in Computer Science 4711

تعداد صفحات : 486[490]

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

فرمت کتاب : pdf

قیمت : 36000 تومان