Foundations of real-time computing : formal specifications and methods /
Corporate Author: | United States. Office of Naval Research |
---|---|
Other Authors: | Van Tilborg, André M., 1953-, Koob, Gary M., 1958- |
Format: | Book |
Language: | English |
Published: |
Boston :
Kluwer Academic Publishers,
[1991]
|
Series: | Kluwer international series in engineering and computer science ;
SECS 142. Kluwer international series in engineering and computer science. Office of naval research advanced book series. |
Subjects: |