Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr.; Orna Grumberg; Doron A. Peled

ISBN 10: 0262032708 ISBN 13: 9780262032704
Editorial: The MIT Press, 1999
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa dura

Vendido por BennettBooksLtd, Los Angeles, CA, Estados Unidos de America

Vendedor de AbeBooks desde 17 de abril de 2008

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


Nuevos - Encuadernación de tapa dura

Condición: Nuevo

Precio:
EUR 69,40
Envío por EUR 6,00
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito