Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)

Woodcock, Jim; Davies, Jim

ISBN 10: 0139484728 ISBN 13: 9780139484728
Editorial: Prentice Hall, 1996
Idioma: Inglés
Condición: Usado - Aceptable Encuadernación de tapa blanda

Vendido por Goodwill of Silicon Valley, SAN JOSE, CA, Estados Unidos de America

Vendedor de AbeBooks desde 28 de junio de 2024

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 blanda

Condición: Usado - Aceptable

Precio:
EUR 9,49
Envío por EUR 3,51
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito