Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science, 4700)
ISBN 10:
354075220X ISBN 13:
9783540752202
Editorial: Springer, 2007
Idioma: Inglés
Condición: Nuevo
Encuadernación de tapa blanda
Vendido por Ria Christie Collections, Uxbridge, Reino Unido
Vendedor de AbeBooks desde 25 de marzo de 2015
Nuevos - Encuadernación de tapa blanda
Condición: Nuevo
Precio:
EUR 59,94
Convertir moneda
EUR 5,14
gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Añadir al carrito