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
by Baber, Robert L
- Used
- Good
- Signed
- first
- Condition
- Good
- ISBN 10
- 0471914746
- ISBN 13
- 9780471914747
- Seller
-
Topsfield, Massachusetts, United States
Payment Methods Accepted
About This Item
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.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- Kuenzig Books
(US)
- Bookseller's Inventory #
- 10345
- Title
- The Spine of Software : Designing Provably Correct Software : Theory and Practice - Or, a Mathematical Introduction to the Semantics of Computer Programs
- Author
- Baber, Robert L
- Format/Binding
- Boards
- Book Condition
- Used - Good
- Quantity Available
- 1
- Edition
- First Edition
- ISBN 10
- 0471914746
- ISBN 13
- 9780471914747
- Publisher
- John Wiley & Sons, Ltd
- Place of Publication
- Chichester, New York, Brisbane, Toronto, Singapore
- Date Published
- 1987
- Keywords
- ELECTRONIC DIGITAL COMPUTERS PROGRAMMING GENERAL ;
Terms of Sale
Kuenzig Books
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.
About the Seller
Kuenzig Books
Biblio member since 2008
Topsfield, Massachusetts
About Kuenzig Books
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.
Glossary
Some terminology that may be used in this description includes:
- First Edition
- In book collecting, the first edition is the earliest published form of a book. A book may have more than one first edition in...
- Title Page
- A page at the front of a book which may contain the title of the book, any subtitles, the authors, contributors, editors, the...
- Edges
- The collective of the top, fore and bottom edges of the text block of the book, being that part of the edges of the pages of a...
- Half Title
- The blank front page which appears just prior to the title page, and typically contains only the title of the book, although, at...
- Inscribed
- When a book is described as being inscribed, it indicates that a short note written by the author or a previous owner has been...
- Association Copy
- An association copy is a copy of a book which has been signed and inscribed by the author for a personal friend, colleague, or...
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...
Frequently asked questions
This Book’s Categories
Collecting and Using City Directories
Don’t overlook that old city directory - it is priceless for authors, collectors who focus on specific cities, geneaology, and other niche interests. Learn more...
A Brief History of the Dust Jacket
When did dust jackets first appear, and what exactly are they for? Learn about this often-important detail as it applies to book collecting. More...
