دانلود کتاب Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

دانلود کتاب Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

نویسنده: Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.)

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

ناشر: Springer-Verlag Berlin Heidelberg

سال: ۲۰۰۴

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

purpleribbon save

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

حجم فایل

۲.۱۴ مگابایت

تعداد صفحات

۵۱۷.۰

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

توضیحات

معرفی کتاب Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

کتاب Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings نوشته Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

درباره کتاب Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

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

دانلود کتاب Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings را از طریق سایت سایبر یونی تجربه کنید.

پرفروشترین کتاب ها
Out of their... image
Out of their Minds The Lives and Discoveries of ۱۶...
نویسنده:

Dennis Sasha Cathy...

سال انتشار:

۱۹۹۸

Argumentation in Multi-Agent... image
Argumentation in Multi-Agent Systems: Fifth International Workshop, ArgMAS ۲۰۰۸, Estoril,...
نویسنده:

Thomas L. van...

سال انتشار:

۲۰۰۹

Reti Logiche image
Reti Logiche
نویسنده:

Morris Mano, Kime...

سال انتشار:

۲۰۰۲

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

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