Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 /

שמור ב:
מידע ביבליוגרפי
מחבר תאגידי: Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
מחברים אחרים: Joseph, M.
פורמט: Conference Proceeding ספר
שפה:English
יצא לאור: Berlin ; New York : Springer-Verlag, c1988.
סדרה:Lecture notes in computer science ; 331.
נושאים:

CARM 1 Store

פרטי מלאי ספרים מ CARM 1 Store
סימן המיקום: A2:AL22D0 C05341
עותק 1 זמין  ביצוע הזמנה