آموزش روش های رسمی: دومین کنفرانس بین المللی، 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 مگابایت