Verwandte Artikel zu Real-Time Systems Hardback: Formal Specification and...
Inhaltsangabe
Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorinnen und Autoren
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.
Neu kaufen
Diesen Artikel anzeigen
EUR 147,73
EUR 11,59 für den Versand von Vereinigtes Königreich nach Deutschland
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: 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
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