Teaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
تاريخ النشر: 17/11/2004
الناشر: Springer
ترجمة: C Neville Dean
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 264
مجلدات: 1
ردمك: 9783540236115