Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

José Bacelar Almeida

Language: English

Pages: 307

ISBN: 0857290177

Format: PDF / Kindle (mobi) / ePub

Continue reading "Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)"