De Bakker, Jaco
Mathematical theory of program correctness / Jaco de Bakker. - London : Prentice-Hall International , cop. 1980 .
ISBN 0-13-562132-1
Programação
Programação
LCC QA76
Mathematical theory of program correctness / Jaco de Bakker. - London : Prentice-Hall International , cop. 1980 .
ISBN 0-13-562132-1
Programação
Programação
LCC QA76