Verwandte Artikel zu Real-Time Systems Hardback: Formal Specification and...
Inhaltsangabe
An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Biografía del autor
E.-R. Olderog is Professor of Computer Science at the University of Oldenburg, Germany. In 1994 he was awarded the Leibniz Prize of the German Research Council (DFG).
Biografía del autor
E.-R. Olderog is Professor of Computer Science at the University of Oldenburg, Germany. In 1994 he was awarded the Leibniz Prize of the German Research Council (DFG).
H. Dierks is a researcher currently working with OFFIS, a technology transfer institute for computer science in Oldenburg, Germany.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagCambridge University Press
- Erscheinungsdatum2008
- ISBN 10 0521883334
- ISBN 13 9780521883337
- EinbandTapa dura
- SpracheEnglisch
- Auflage1
- Anzahl der Seiten344
Neu kaufen
Diesen Artikel anzeigen
EUR 96,60
EUR 14,24 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerSuchergebnisse für Real-Time Systems Hardback: Formal Specification and...
Beispielbild für diese ISBN
Real-Time Systems: Formal Specification and Automatic Verification
Verlag:
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Gebraucht
Hardcover
Anbieter: medimops, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Artikel-Nr. M00521883334-V
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Real-Time Systems: Formal Specification and Automatic Verification
Verlag:
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Gebraucht
Hardcover
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Artikel-Nr. GOR007278795
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Real-Time Systems: Formal Specification and Automatic Verification
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9780521883337_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Real-Time Systems
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications. Artikel-Nr. 9780521883337
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Real-Time Systems: Formal Specification and Automatic Verification
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock. Artikel-Nr. x-0521883334
Anzahl: 2 verfügbar