ISBN 0857290177 books & textbook
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Almeida, José Bacelar Bacelar Frade, Maria João Pinto, Jorge Sousa Melo de Sousa, Simão
Springer /2011-01-07 Paperback / 320 Pages
isbn-10: 0857290177 / isbn-13: 9780857290175
