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

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