Sinopsis
Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca de los autores
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.
Resultados 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: 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
Comprar usado
EUR 9,11
Gastos de envío:
EUR 6,38
De Reino Unido a Estados Unidos de America
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
Comprar nuevo
EUR 47,69
Gastos de envío:
EUR 3,45
A Estados Unidos de America
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: ABEOCT25-103729
Comprar nuevo
EUR 52,85
Gastos de envío:
GRATIS
A Estados Unidos de America
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
Comprar nuevo
EUR 52,85
Gastos de envío:
GRATIS
A Estados Unidos de America
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: 4 de 5 estrellas
Condición: New. pp. xvi + 320 Illus. Nº de ref. del artículo: 8364548
Comprar nuevo
EUR 47,48
Gastos de envío:
EUR 7,41
De Reino Unido a Estados Unidos de America
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: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Nº de ref. del artículo: ASNT3-36648
Comprar nuevo
EUR 55,02
Gastos de envío:
GRATIS
A Estados Unidos de America
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: 4 de 5 estrellas
Condición: New. pp. xvi + 320. Nº de ref. del artículo: 18531921
Comprar nuevo
EUR 47,48
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
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: ABEOCT25-103730
Comprar nuevo
EUR 68,16
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 3 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
Comprar nuevo
EUR 68,16
Gastos de envío:
GRATIS
A Estados Unidos de America
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: The Book Spot, Sioux Falls, MN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: Abebooks143631
Comprar nuevo
EUR 74,86
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles