دانلود کتاب Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
روش های رسمی برای مonلفه ها و اشیا: چهارمین سمپوزیوم بین المللی ، FMCO 2005 ، آمستردام ، هلند ، 1-4 نوامبر 2005 ، سخنرانی های تجدید نظر شده
زبان : English
نویسندگان : Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2006
ISBN (شابک) : 3540367497, 9783540367499
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 4111
تعداد صفحات : 429[435]
حجم : 4 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان