خرید و دانلود نسخه کامل کتاب Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings

روش های رسمی یکپارچه: دومین کنفرانس بین المللی، IFM 2000 قلعه داگستول، آلمان، 1 تا 3،2000 نوامبر مجموعه مقالات

Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings

نویسنده: Tony Hoare (auth.), Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2000

تعداد صفحات: 446 [448]

زبان: English

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

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