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.
Stock Photo: Cover May Be Different
The Spine of Software: Designing Provably Correct Software-Theory and Practice Hardcover - 1987
by Robert L. Baber
Details
- Title The Spine of Software: Designing Provably Correct Software-Theory and Practice
- Author Robert L. Baber
- Binding Hardcover
- Edition First Edition
- Pages 316
- Volumes 1
- Language ENG
- Publisher Wiley, Chichester, New York, Brisbane, Toronto, Singapore
- Date 1987
- ISBN 9780471914747 / 0471914746
- Weight 1.29 lbs (0.59 kg)
- Dimensions 9.32 x 6.21 x 0.9 in (23.67 x 15.77 x 2.29 cm)
- Library of Congress subjects Computer software - Development, Computer programming
- Library of Congress Catalog Number 86032483
- Dewey Decimal Code 005.1
More Copies for Sale
Stock Photo: Cover May Be Different
The Spine of Software: Designing Provably Correct Software : Theory and Practice or a Mathematical Introduction to the Semantics of Computer
by Robert L. Baber
- Used
- Very Good
- Hardcover
- Condition
- Used - Very Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780471914747 / 0471914746
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
A$55.84A$18.29 shipping to USA
Show Details
Item Price
A$55.84
A$18.29
shipping to USA
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.
- Used
- Good
- Signed
- first
- Condition
- Used - Good
- Edition
- First Edition
- ISBN 10 / ISBN 13
- 9780471914747 / 0471914746
- Quantity Available
- 1
- Seller
-
Topsfield, Massachusetts, United States
- Item Price
-
A$59.43A$7.60 shipping to USA
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 in at rear. Also includes several of the authors personal stickers, one affixed to the title pag, another to the endpaper and and several laid in. Boards. An association copy with author's "with compliments" card taped in, and inscription "Dear Edna and Frank. Happy reading. I hope you like it. Are you planning to attend IFIP '89 in San Francisco? Hjaitliga Halsnisgar, Bob" Also inscribed on the half title page "For Frank Verzuh, who started me off on the path which led to this book, with many thanks, Bob 1988 March 21". Frank is Frank Verzuh, a computer pioneer at MIT who worked on MIT's Rapid Arithmetic machine among other things.
Item Price
A$59.43
A$7.60
shipping to USA
Stock Photo: Cover May Be Different
The Spine of Software: Designing Provably Correct Software-Theory and Practice
by Baber, Robert L.
- New
- Hardcover
- first
- Condition
- New
- Edition
- 1st Edition.
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780471914747 / 0471914746
- Quantity Available
- 1
- Seller
-
Highland Park, Illinois, United States
- Item Price
-
A$65.53A$4.57 shipping to USA
Show Details
Description:
Wiley, 1988. 1st Edition. . Hardcover. New/New. Perfect condition disinfected
Item Price
A$65.53
A$4.57
shipping to USA
Stock Photo: Cover May Be Different
The Spine of Software: Designing Provably Correct Software-Theory and Practice
by Baber, Robert L.
- Used
- Good
- Hardcover
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780471914747 / 0471914746
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
A$73.53FREE shipping to USA
Show Details
Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items.
Item Price
A$73.53
FREE shipping to USA