Todos los 1 Jose Bacelar Almeida lanzamientos en Boo... Book
Categorías
Otros
Atención al cliente
USD
![Cover for Jose Bacelar Almeida · Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science (Paperback Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/575/9781447175575.jpg?jose-bacelar-almeida-2026-rigorous-software-development-an-introduction-to-program-verification-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1759173936)