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: 1988
Place of publication: Chichester [West Sussex]; New York
Language: eng
Number of pages: 316
Subjects: Computer software -- Development.; Computer programming.
Other titles: Mathematical introduction to the semantics of computer programs.
Notes: Bibliography: p. 302-305.
Includes index.