Real-Time Systems: Formal Specification and Automatic Verification

Ernst-Rüdiger Olderog et Henning Dierks

ISBN 10: 0521883334 ISBN 13: 9780521883337
Editorial: Cambridge University Press, 2008
Idioma: Inglés
Condición: Usado - Muy bueno Encuadernación de tapa dura

Vendido por Ammareal, Morangis, Francia

Vendedor de AbeBooks desde 29 de agosto de 2016

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

Ver los artículos de este vendedor


Usado - Encuadernación de tapa dura

Condición: Usado - Muy bueno

Oportunidad
Precio:
EUR 26,91
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito