José Bacelar Almeida

Identifiers

Open LibraryOL7147871A

Top Subjects

Verification (1)
Computer software (1)
Development (1)

Books by José Bacelar Almeida

Total count: 2

Rigorous software developmentan introduction to program verification

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

Springer2011-01-04