Books listed by ISBN
>
Springer
> José Bacelar Almeida
José Bacelar Almeida
title
ISBN-13
(ISBN-10)
year of publication
Rigorous Software Development: An Introduction to Program Verification
978-O-85729-O17-5
(O-85729-O17-7)
2011
B. A.
·
J. A.
·
J.B.
·
Jose A.
·
José Almeida
·
José Bacelar Bacelar Almeida
José Bacri