Reactive Systems: Modelling, Specification and Verification

Luca Aceto; Anna Ingolfsdottir; Kim G. Larsen; Jiri Srba

ISBN 10: 0521875463 ISBN 13: 9780521875462
Editorial: Cambridge University Press, 2007
Idioma: Inglés
Condición: Usado - Aceptable Encuadernación de tapa dura

Vendido por BookOrders, Russell, IA, Estados Unidos de America

Honoris Librarius
Vendedor de AbeBooks desde 4 de octubre de 2000

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 - Aceptable

Precio:
EUR 61,86
Envío por EUR 3,43
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito