Baber, Robert Laurence
The spine of software : designing provably correct software, theory and practice or a mathemat. introd. to the semantics of computer programs - Chichester Wiley 1987
0-471-91474-6
1991-107
Computer programming
Computer software--Development
QA76.76 / .D47B33 1987
The spine of software : designing provably correct software, theory and practice or a mathemat. introd. to the semantics of computer programs - Chichester Wiley 1987
0-471-91474-6
1991-107
Computer programming
Computer software--Development
QA76.76 / .D47B33 1987