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

By:

Olderog, Ernst-Rüdiger, 1955- [aut]

Contributor(s):

Dierks, Henning, 1970- [aut]

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 ( 1 )

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

Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)