The spine of software
Subtitle: designing provably correct software, theory and practice, or, A mathematical introduction to the semantics of computer programs
By: Robert Laurence Baber.
Publisher: Wiley
Published: 1987
Place of publication: Chichester
Language: eng
Number of pages: 316
Subjects: Electronic digital computers -- Programming.; Electronic data processing -- Mathematics.
Notes: Bibliography, p302-305. - Includes index.