colognetfme

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

دانلود کتاب Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (به فارسی: آموزش روشهای رسمی: سمپوزیوم CoLogNET/FME، TFM 2004، گنت، بلژیک، 18-19 نوامبر 2004. مجموعه مقالات) نوشته شده توسط «Kung-Kiu Lau (auth.) – C. Neville Dean – Raymond T. Boute (eds.)» اطلاعات کتاب آموزش روشهای رسمی: سمپوزیوم CoLogNET/FME، TFM 2004، گنت، بلژیک، 18-19 نوامبر 2004. مجموعه مقالات موضوع اصلی: علمی-محبوب نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Kung-Kiu Lau (auth.) – C. Neville Dean – Raymond T. Boute (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد…