خانه / تمامی کتاب‌ها / کتاب Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

دانلود کتاب Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

Name: Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Rating: 4.8 (11 reviews)
Author: Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.)

دانلود کتاب Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

نویسنده: Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.)

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

ناشر: Springer-Verlag Berlin Heidelberg

سال: ۲۰۰۷

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

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

حجم فایل

۲.۰۶ مگابایت

تعداد صفحات

۶۶۸.۰

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

توضیحات

معرفی کتاب Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

کتاب Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings نوشته Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

درباره کتاب Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

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

دانلود کتاب Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings را از طریق سایت سایبر یونی تجربه کنید.

پرفروشترین کتاب ها