Foundations of real-time computing: formal specifications and methods : [preliminary versions of these papers were presented at a Workshop on the Foundations of Real-Time Computing sponsored by the Office of Naval Research in October 1990 in Washington, D.C.] / ed. by André M. van Tilborg ...
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Kluwer international series in engineering and computer science ; 142 : Real time systemsPublisher: Boston [u.a.] : Kluwer Academic Publishers, 1991Description: IX, 316 S : graph. DarstISBN:- 0792391675
- real-time
- QA76.54
Contents:
Action note: - 1
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 92 A 1656 | Available | 45204798090 |
Total holds: 0
Archivierung prüfen 20200919 DE-640 1 pdager