Alle 2 Jose Bacelar Almeida utgivelser på Bok og Pocketbok
Kategorier
Annen
Kundeservice
NOK
Slippes 7. mai 2026
![Cover for Jose Bacelar Almeida · Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1759173936)
![Cover for Jose Bacelar Almeida · Rigorous Software Development (Bok) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/175/9780857290175.jpg?jose-bacelar-almeida-2011-rigorous-software-development-bok&class=scaled&v=1408608392)