دانلود کتاب Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

دانلود کتاب Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

نویسنده: Bernhard Möller, Helmut A. Partsch, Stephen A. Schuman (auth.), Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)

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

ناشر: Springer-Verlag Berlin Heidelberg

سال: ۱۹۹۳

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

purpleribbon save

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

حجم فایل

۲.۰۳ مگابایت

تعداد صفحات

۳۷۸.۰

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

توضیحات

معرفی کتاب Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

کتاب Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report نوشته Bernhard Möller, Helmut A. Partsch, Stephen A. Schuman (auth.), Bernhard Möller, Helmut Partsch, Steve Schuman (eds.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

درباره کتاب Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

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

دانلود کتاب Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report را از طریق سایت سایبر یونی تجربه کنید.

پرفروشترین کتاب ها
Information Systems Security:... image
Information Systems Security: ۶th International Conference, ICISS ۲۰۱۰, Gandhinagar, India,...
نویسنده:

Sriram K. Rajamani...

سال انتشار:

۲۰۱۱

Blender ۳D By... image
Blender ۳D By Example
نویسنده:

Caudron R., Nicq...

سال انتشار:

None

Computer Security –... image
Computer Security – ESORICS ۲۰۰۴: ۹th European Symposium on Research...
نویسنده:

Shiping Chen, Duminda...

سال انتشار:

۲۰۰۴

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

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