Artículos relacionados a Real-Time Systems Hardback: Formal Specification and...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialCambridge University Press
- Año de publicación2008
- ISBN 10 0521883334
- ISBN 13 9780521883337
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de edición1
- Número de páginas344
Comprar nuevo
Ver este artículo
EUR 53,21
GRATIS gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Real-Time Systems Hardback: Formal Specification and...
Imagen de archivo
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Antiguo o usado
Tapa dura
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: M00521883334-V
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Antiguo o usado
Tapa dura
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: 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. Nº de ref. del artículo: GOR007278795
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems Formal Specification and Automatic Verification
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-36648
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. xvi + 320 Illus. Nº de ref. del artículo: 8364548
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems
Publicado por
Cambridge University Press CUP, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. xvi + 320. Nº de ref. del artículo: 26531931
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. xvi + 320. Nº de ref. del artículo: 18531921
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems: Formal Specification And Automatic Verification
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-184042
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-384379
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Antiguo o usado
Tapa dura
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Like New. Like NewLIKE NEW. book. Nº de ref. del artículo: ERICA83605218833343
Cantidad disponible: 1 disponibles
Imagen de archivo
REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-108182
Cantidad disponible: 3 disponibles