دانلود کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

روش های رسمی برای مonلفه ها و اشیا:: پنجمین سمپوزیوم بین المللی ، FMCO 2006 ، آمستردام ، هلند ، 7-10 نوامبر 2006 ، سخنرانی های تجدید نظر شده

زبان : English

نویسندگان : Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540747915, 9783540747918

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

سری : Lecture Notes in Computer Science 4709 : Programming and Software Engineering

تعداد صفحات : 300[304]

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

فرمت کتاب : pdf

قیمت : 36000 تومان