دانلود کتاب Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
روش های رسمی آموزش: سمپوزیوم CoLogNET / FME ، TFM 2004 ، گنت ، بلژیک ، 18-19 نوامبر ، 2004. مجموعه مقالات
زبان : English
نویسندگان : Kung-Kiu Lau (auth.), C. Neville Dean, Raymond T. Boute (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2004
ISBN (شابک) : 3540236112, 9783540236115, 9783540304722
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 3294
تعداد صفحات : 252[257]
حجم : 23 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان