دانلود کتاب Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
روشهای رسمی برای مonلفه ها و اشیا:: دومین سمپوزیوم بین المللی ، FMCO 2003 ، لیدن ، هلند ، 4-7 نوامبر 2003. سخنرانی های تجدید نظر شده
زبان : English
نویسندگان : Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2004
ISBN (شابک) : 3540229426, 9783540229421, 9783540301011
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 3188
تعداد صفحات : 371[385]
حجم : 7 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان
