Real-Time Systems: Formal Specification and Automatic Verification

Olderog, Ernst-Rüdiger; Dierks, Henning

ISBN 10: 0521883334 ISBN 13: 9780521883337
Editorial: Cambridge University Press, 2008
Nuevos Encuadernación de tapa dura

Librería: Ria Christie Collections, Uxbridge, Reino Unido Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Vendedor de AbeBooks desde 25 de marzo de 2015

Este artículo en concreto ya no está disponible.
Ver los artículos de este vendedor Crear una petición para artículos similares

Descripción

Descripción:

In. N° de ref. del artículo ria9780521883337_new

Denunciar este artículo

Sinopsis:

Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.

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.

Detalles bibliográficos

Título: Real-Time Systems: Formal Specification and ...
Editorial: Cambridge University Press
Año de publicación: 2008
Encuadernación: Encuadernación de tapa dura
Condición: New

Los mejores resultados en AbeBooks

Imagen de archivo

Dierks, Henning
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar usado

EUR 8,10
EUR 6,40 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Olderog E-R Olderog Ernst-R?diger
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 Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. pp. xvi + 320 Illus. Nº de ref. del artículo: 8364548

Contactar al vendedor

Comprar nuevo

EUR 46,92
EUR 7,42 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Olderog E-R Olderog Ernst-R?diger
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 Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. pp. xvi + 320. Nº de ref. del artículo: 18531921

Contactar al vendedor

Comprar nuevo

EUR 47,72
EUR 9,95 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

E-R Olderog Ernst-R?diger Olderog
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 Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. pp. xvi + 320. Nº de ref. del artículo: 26531931

Contactar al vendedor

Comprar nuevo

EUR 48,37
EUR 3,41 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Ernst-Rüdiger Olderog
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar nuevo

EUR 52,74
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Ernst-Rüdiger Olderog
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar nuevo

EUR 52,74
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Ernst-Rüdiger Olderog
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Nº de ref. del artículo: ASNT3-36648

Contactar al vendedor

Comprar nuevo

EUR 55,06
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Olderog, Ernst-Rüdiger; Dierks, Henning
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Nuevo Tapa dura

Librería: ALLBOOKS1, Direk, SA, Australia

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Nº de ref. del artículo: SHAK103729

Contactar al vendedor

Comprar nuevo

EUR 59,64
Gastos de envío gratis
Se envía de Australia a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Ernst-Rüdiger Olderog
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar nuevo

EUR 67,19
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: 3 disponibles

Añadir al carrito

Imagen de archivo

Olderog, Ernst-Rüdiger; Dierks, Henning
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar nuevo

EUR 67,19
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Existen otras 13 copia(s) de este libro

Ver todos los resultados de su búsqueda