All 2 Jose Bacelar Almeida releases on Book and Pape... Book
Categories
Other
Support
HKD
Release July 5, 2026
![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)
![Cover for Jose Bacelar Almeida · Rigorous Software Development (Book) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/175/9780857290175.jpg?jose-bacelar-almeida-2011-rigorous-software-development-book&class=scaled&v=1408608392)