The Spine Of Software
by Baber, Robert L
Available Copies
![The Spine of Software : Designing Provably Correct Software : Theory and Practice - Or, a Mathematical Introduction to the Semantics of Computer Programs](https://d3525k1ryd2155.cloudfront.net/h/201/213/514213201.0.m.jpg)
More Photos
The Spine of Software : Designing Provably Correct Software : Theory and Practice - Or, a Mathematical Introduction to the Semantics of Computer Programs
by Baber, Robert L.
- Condition
- Used - Good
- Edition
- First Edition
- Published
- 1987
- Binding
- Boards
- ISBN
- 9780471914747
- Quantity Available
- 1
- Seller
-
Topsfield, Massachusetts, USA
- Item Price
-
A$59.24
Show Details
Description:
Chichester, New York, Brisbane, Toronto, Singapore: John Wiley & Sons, Ltd, 1987. First Edition. Boards. Good. First Edition. xi, 316 pages. 8vo. Publisher's green printed boards. Sun fading to the covers, bumped corners. Marked "baber" on the bottom page edges as Prof. Verzuh typically did in his library, and has a collection of book reviews and clippings laid… Read more about this item Item Price
A$59.24
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
The Spine of Software: Designing Provably Correct Software-Theory and Practice
by Baber, Robert L.
- Condition
- New
- Jacket Condition
- New
- Edition
- 1st Edition.
- Published
- 1988
- Binding
- Hardcover
- ISBN
- 9780471914747
- Quantity Available
- 1
- Seller
-
Highland Park, Illinois, USA
- Item Price
-
A$65.32
Show Details
Description:
Wiley, 1988. 1st Edition. . Hardcover. New/New. Perfect condition disinfected
Item Price
A$65.32
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
The Spine of Software: Designing Provably Correct Software : Theory and Practice or a Mathematical Introduction to the Semantics of Computer
by Robert L. Baber
- Condition
- Used - Very Good
- Published
- 1987
- Binding
- Hardcover
- ISBN
- 9780471914747
- Quantity Available
- 1
- Seller
-
Morangis, FRA
- Item Price
-
A$55.66
Show Details
Description:
John Wiley & Sons Ltd, 1987. Hardcover. Very Good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations. Item Price
A$55.66
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
The Spine of Software: Designing Provably Correct Software-Theory and Practice
by Baber, Robert L.
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN
- 9780471914747
- Quantity Available
- 1
- Seller
-
Newport Coast, California, USA
- Item Price
-
A$73.30
Show Details
Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. Item Price
A$73.30