Foundations of real-time computing formal specifications and methods

• Κύριος συγγραφέας: Tilborg, Andre M. van
• Άλλοι συγγραφείς: Koob, Gary M.
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Boston Kluwer Academic Publishers 1991
• Σειρά: The Kluwer international series in engineering and computer science
• Θέματα: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού; Συστήματα πραγματικού χρόνου > Σχεδιασμός