Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC-Ansicht ISBD

Real-time systems: formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks

Von: Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: Cambridge [u.a.] : Cambridge University Press, 2008Beschreibung: XVI, 320 S. : graph. DarstISBN:
  • 0521883334
  • 9780521883337
Schlagwörter: Andere physische Formen: Online-Ausg.: Real-time systems. Cambridge [u.a.] : Cambridge University Press, 2008. XVI, 320 S. | Erscheint auch als: Real-Time Systems. Online-Ausgabe Cambridge : Cambridge University Press, 2008. 1 Online-Ressourc4061 digital, PDF file(s).DDC-Klassifikation:
  • 004.33 22
MSC: MSC: *68Q60 | 68Q45 | 68-02RVK: RVK: ST 234 | ST 153LOC-Klassifikation:
  • QA76.54
PPN: PPN: 572284640
Exemplare
Medientyp Heimatbibliothek Sammlung Standort Signatur Status Fälligkeitsdatum Barcode
Handbibliothek Fakultät für Informatik B.Old Handbibliothek (Ausleihe und Einsicht nicht möglich) B.Old(53923) Ausgeliehen Ausleihe und Einsicht nicht möglich 05.02.2035 000617983090
Anzahl Vormerkungen: 0