Compositional Verification of Concurrent and Real-Time Systems [The Kluwer International Series in Engineering and Computer Science SECS 676]

Libro 86 de 260: The Springer International Series in Engineering and Computer Science

Juan, Eric Y. T.; Tsai, Jeffrey J.-P.

ISBN 10: 140207025X ISBN 13: 9781402070259
Editorial: Kluwer Academic Publishers, Boston., 2002
Idioma: Inglés
Condición: Usado - Bueno Encuadernación de tapa dura

Vendido por Tiber Books, Cockeysville, MD, Estados Unidos de America

Honoris Librarius
Vendedor de AbeBooks desde 17 de septiembre de 1997

Calificación del vendedor: 4 de 5 estrellas Valoración 4 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 - Bueno

Precio:
EUR 82,08
EUR 4,65 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito