Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-9 of 9 results for author "Baber, Robert Laurence."
Software reflected : the socially responsible programming of our computers / Robert Laurence Baber.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text JSD 83-321 Offsite The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs / Robert Laurence Baber.
- Text
- Chichester [West Sussex] ; New York : Wiley, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 88-3619 Offsite Software reflected : the socially responsible programming of our computers / Robert Laurence Baber.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .B26 1982 Off-site The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs / Robert Laurence Baber.
- Text
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47B33 1987 Off-site Error-free software : know-how and know-why of program correctness / Robert Laurence Baber ; translated from the German original by the author.
- Text
- Chichester, England ; New York : Wiley, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.76.R44 B33 1991 Off-site Software reflected : the socially responsible programming of our computers / Robert Laurence Baber.
- Text
- 1982
- 1 Item
Item details Format Call Number Item Location Text QA76.6.B26 1982 Off-site The spine of software: designing provably correct software : theory and practice, or, A mathematical introduction to the semantics of computer programs / Robert Laurence Baber.
- Text
- Chichester : Wiley, ©1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 B33 1987 Off-site Error-free software : know-how and know-why of program correctness / Robert Laurence Baber ; translated from the German original by the author.
- Text
- Chichester, England ; New York : Wiley, ©1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.76.R44 B33 1991 Off-site Software reflected : the socially responsible programming of our computers / Robert Laurence Baber.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .B26 1982 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta