Alles von 2 Jose Bacelar Almeida auf Buch und Taschenbuch
Kategorien
Andere
Kundenservice
CHF
erscheint am 10. Juli 2026
![Cover for Jose Bacelar Almeida · Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science (Taschenbuch) [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-taschenbuch&class=scaled&v=1759173936)
![Cover for Jose Bacelar Almeida · Rigorous Software Development (Buch) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/175/9780857290175.jpg?jose-bacelar-almeida-2011-rigorous-software-development-buch&class=scaled&v=1408608392)