Foundations of real-time computing
Subtitle: formal specifications and methods
By: edited by André M. van Tilborg, Gary M. Koob.
Contributors: Van Tilborg, André M., 1953-; Koob, Gary M., 1958-; United States. Office of Naval Research.
Series: The Kluwer international series in engineering and computer science ;; SECS 142.; Real-time systems; Kluwer international series in engineering and computer science ;; SECS 142.; Kluwer international series in engineering and computer science.
Publisher: Kluwer Academic Publishers; Springer
Published: 1991
Place of publication: Boston
Language: eng
Number of pages: 316
Subjects: Real-time data processing.
Notes: Includes bibliographical references and index.
"Preliminary versions of these papers were presented at a workshop ... sponsored by the Office of Naval Research in October 1990 in Washington, D.C."--Foreword.