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

Almeida, José Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão

ISBN 10: 1447175573 ISBN 13: 9781447175575
Editorial: Springer, 2026
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa blanda

Vendido por Books Puddle, New York, NY, Estados Unidos de America

Vendedor de AbeBooks desde 22 de noviembre de 2018

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Nuevos - Encuadernación de tapa blanda

Condición: Nuevo

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

Cantidad disponible: 4 disponibles

Añadir al carrito