Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever (edición)
פורמט: ספר
שפה:אנגלית
יצא לאור: Berlín, Alemania : Springer, 2005, c2005
סדרה:(Lecture Notes in Computer Science)
גישה מקוונת:Ver documento en línea
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!