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: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού; Συστήματα πραγματικού χρόνου > Σχεδιασμός