خرید و دانلود نسخه کامل کتاب Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

روشهای یکپارچه رسمی: چهارمین کنفرانس بین المللی، IFM 2004، Cnaterbury، UK، 4-7 آوریل 2004. پرونده ها

Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

نویسنده: Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani (auth.), Eerke A. Boiten, John Derrick, Graeme Smith (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2004

تعداد صفحات: 554

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 10 مگابایت