The foundations of program verification. and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science

Loeckx, Jacques:

ISBN 10: 3519021013 ISBN 13: 9783519021018
Editorial: Stuttgart : Teubner, Chichester , New York , Brisbane , Toronto , Singapore : Wiley, 1984
Idioma: Alemán
Condición: Usado - Bueno

Vendido por NEPO UG, Rüsselsheim am Main, Alemania

Vendedor de AbeBooks desde 15 de noviembre de 2018

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

Condición: Usado - Bueno

Precio: EUR 57,20 Convertir moneda
EUR 9,00 gastos de envío desde Alemania a España Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito