Foundations of real-time computing formal specifications and methods

• Main Author: Tilborg, Andre M. van
• Other Authors: Koob, Gary M.
• Format: Book
• Language: English
• Published: Boston Kluwer Academic Publishers 1991
• Series: The Kluwer international series in engineering and computer science
• Subjects: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού; Συστήματα πραγματικού χρόνου > Σχεδιασμός
• Physical Description: ix, 316 p. 25 cm
• ISBN: 0792391675