Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Apt, Krzysztof R.; Olderog, Ernst-Rudiger
ISBN 10:
0387975322 ISBN 13:
9780387975320
Editorial: Springer-Verlag New York, Incorporated (edition ), 1991
Idioma: Inglés
Condición: Usado - Aceptable
Encuadernación de tapa dura
Vendido por BooksRun, Philadelphia, PA, Estados Unidos de America
Vendedor de AbeBooks desde 2 de febrero de 2016
Usado - Encuadernación de tapa dura
Condición: Usado - Aceptable
Precio:
EUR 34,00
Convertir moneda
EUR 63,85
gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Añadir al carrito