Skip to content

The Spine of Software : Designing Provably Correct Software : Theory and
Click for full-size.

The Spine of Software : Designing Provably Correct Software : Theory and Practice - Or, a Mathematical Introduction to the Semantics of Computer Programs Boards - 1987

by Baber, Robert L

  • Used
  • Good
  • Signed
  • first

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.
Used - Good
NZ$64.83
NZ$8.29 Shipping to USA
Standard delivery: 5 to 14 days
More Shipping Options
Ships from Kuenzig Books (Massachusetts, United States)
The BIBLIO Guarantee | Ask Seller a Question

Details

About Kuenzig Books Massachusetts, United States

Specializing in: Antiquarian, Engineering, Ephemera, Photography, Science, Technology
Biblio member since 2008
Seller rating: This seller has earned a 5 of 5 Stars rating from Biblio customers.

Kuenzig Books specializes in Science, Technology, Engineering, and Math (STEM). We handle ephemera and artifacts including early computer material, the history of communications, and other innovations that have affected the way we live and work. We also deal in scientific instruments (didactic and professional), a broad range of documentary photography and ephemera, and other eclectic material as luck and interest provides.

Terms of Sale:

Reserved items are held for 7 days pending receipt of payment. Reservations may be made by phone or email. Please identify the author, title, and stock number of the item. We accept wire transfers, checks and money orders drawn on U.S. banks in U.S. dollars. We also accept Paypal and American Express, Mastercard, VISA and Discover cards. Our Guarantee: All purchases are returnable within 30 days IF NOT AS DESCRIBED, presuming they are received in the same condition as sent. Please insure return shipments, and contact us in advance in order to make appropriate arrangements.

Browse books from Kuenzig Books

Categories

Hang on… we’re fetching the requested page.