دانلود کتاب 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 |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Kung-Kiu Lau (auth.), C. Neville Dean, Raymond T. Boute (eds.) |
| ISBN | 3540236112, 9783540304722 |
| سال نشر | 2004 |
| زبان | English |
| تعداد صفحات | 257 |
| دسته | علمی-مردمی |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 23 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد