Specification and proof in real-time CPS

• Κύριος συγγραφέας: Davies, J. (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York Cambridge University Press c1993
• Σειρά: Distinguished Dissertations in Computer Science
• Θέματα: CPS; OPERATING SYSTEMS; Συστήματα πραγματικού χρόνου
• Περιγραφή τεκμηρίου: βιβλιογραφια:σσ.175-180
• Φυσική περιγραφή: xvii, 180p. fig.
• ISBN: 0 521 45055 1