دسته: کامپیوتر
دانلود کتاب روش های رسمی برای اجزا و اشیاء: چهارمین سمپوزیوم بین المللی، FMCO 2005، آمستردام، هلند، 1-4 نوامبر 2005، سخنرانی های تجدید نظر شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
ویرایش : 1
عنوان ترجمه شده به فارسی : روش های رسمی برای اجزا و اشیاء: چهارمین سمپوزیوم بین المللی، FMCO 2005، آمستردام، هلند، 1-4 نوامبر 2005، سخنرانی های تجدید نظر شده
سری : Lecture Notes in Computer Science 4111
نویسندگان : 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
تعداد صفحات : 435
ISBN (شابک) : 3540367497 , 9783540367499
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.