Specification and Proof in real- time CSP /

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Davis, Jim
פורמט: ספר
שפה:אנגלית
יצא לאור: Cambridge : Press Sydicate, c1993.
נושאים:
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!