Research Catalog
The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs
- Title
- The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs / Robert Laurence Baber.
- Author
- Baber, Robert Laurence.
- Publication
- Chichester [West Sussex] ; New York : Wiley, c1987.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSE 88-3619 | Offsite |
Details
- Description
- xi 316 p.; 24 cm.
- Alternative Title
- Mathematical introduction to the semantics of computer programs.
- Subject
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. 302-305.
- Call Number
- JSE 88-3619
- ISBN
- 0471914746 :
- LCCN
- 86032483
- OCLC
- 59238812
- 59238812
- Author
- Baber, Robert Laurence.
- Title
- The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs / Robert Laurence Baber.
- Imprint
- Chichester [West Sussex] ; New York : Wiley, c1987.
- Bibliography
- Bibliography: p. 302-305.
- Added Title
- Mathematical introduction to the semantics of computer programs.
- Research Call Number
- JSE 88-3619