Custom cover image
Custom cover image

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
Other title:
  • real-time
Subject(s): Genre/Form: MSC: MSC: *68-06 | 68Q60 | 68N15 | 68N25 | 93B51RVK: RVK: ST 234LOC classification:
  • QA76.54
Contents:
Action note:
  • 1
Call number: Grundsignatur: 92 A 1656PPN: PPN: 019681534
Holdings
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