خرید و دانلود نسخه کامل کتاب Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

آموزش روش های رسمی: دومین کنفرانس بین المللی، TFM 2009، آیندهوون، هلند، 2-6 نوامبر 2009. مجموعه مقالات

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

نویسنده: Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2009

تعداد صفحات: 177 [185]

زبان: English

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

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