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

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

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

شماره سریال: ۹۷۸۳۵۴۰۷۴۷۹۱۸

ناشر: Springer-Verlag Berlin Heidelberg

سال: ۲۰۰۷

نسخه ناشر (کیفیت اصلی)

purpleribbon save

امتیاز کاربران: (۰.۰) :

حجم فایل

۲.۰۳ مگابایت

تعداد صفحات

۳۰۴.۰

قیمت کتاب: ۷۶,۹۰۰ تومان

توضیحات

معرفی کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures نوشته Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

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

این اثر با بهره‌گیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار می‌دهد.

دانلود کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures را از طریق سایت سایبر یونی تجربه کنید.

پرفروشترین کتاب ها
Security Protocols: ۷th... image
Security Protocols: ۷th International Workshop, Cambridge, UK, April ۱۹-۲۱, ۱۹۹۹....
نویسنده:

Roger Needham (auth.),...

سال انتشار:

۲۰۰۰

Multiple Classifier Systems:... image
Multiple Classifier Systems: ۷th International Workshop, MCS ۲۰۰۷, Prague, Czech...
نویسنده:

Vadim Mottl, Alexander...

سال انتشار:

۲۰۰۷

The definitive guide... image
The definitive guide to how computers do math: featuring the...
نویسنده:

Clive Maxfield, Alvin...

سال انتشار:

۲۰۰۵

مشاهده تمامی کتاب ها

نوشتن دیدگاه
CAPTCHA
حذف
دیدگاه های شما دیدگاهی وجود ندارد