Custom cover image
Custom cover image

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

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Cambridge [u.a.] : Cambridge University Press, 2008Description: XVI, 320 S. : graph. DarstISBN:
  • 0521883334
  • 9780521883337
Subject(s): Additional physical formats: 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 classification:
  • 004.33 22
MSC: MSC: *68Q60 | 68Q45 | 68-02RVK: RVK: ST 234 | ST 153LOC classification:
  • QA76.54
PPN: PPN: 572284640
Holdings
Item type Home library Collection Shelving location Call number Status Date due Barcode
Handbibliothek Fakultät für Informatik B.Old Handbibliothek (Ausleihe und Einsicht nicht möglich) B.Old(53923) Checked out Ausleihe und Einsicht nicht möglich 05.02.2035 000617983090
Total holds: 0