Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings /

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Jeremy Gibbons, José Nuno Oliveira (edición)
פורמט: ספר
שפה:אנגלית
יצא לאור: Berlín, Alemania : Springer, 2009, c2009
סדרה:(Lecture Notes in Computer Science)
גישה מקוונת:Ver documento en línea
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!