Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Almeida, Jos� Bacelar Bacelar

ISBN 10: 0857290177 ISBN 13: 9780857290175
Editorial: Springer, 2011
Idioma: Inglés
Condición: Usado - Aceptable Encuadernación de tapa blanda

Vendido por Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido

Vendedor de AbeBooks desde 28 de abril de 2005

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 25,01
EUR 12,11 gastos de envío desde Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito