خرید و دانلود نسخه کامل کتاب Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

روشهای رسمی تدریس: سمپوزیوم CoLogNET / FME ، TFM 2004 ، گنت ، بلژیک ، 18-19 نوامبر 2004. مجموعه مقالات

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

نویسنده: Kung-Kiu Lau (auth.), C. Neville Dean, Raymond T. Boute (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2004

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

زبان: English

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

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