Ver em tamanho grande.
The Spine of Software : Designing Provably Correct Software : Theory and Practice - Or, a Mathematical Introduction to the Semantics of Computer Programs
por Baber, Robert L
- Usado
- Bom
- Assinado
- first
- Condição
- Bom
- ISBN 10
- 0471914746
- ISBN 13
- 9780471914747
- Livreiro
-
Topsfield, Massachusetts, United States
Formas de pagamento
Sobre este 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.
Avaliações
(Entrar ou Criar uma conta primeiro!)
Detalhes
- Livreiro
- Kuenzig Books
(US)
- Nº do estoque do livreiro
- 10345
- Título
- The Spine of Software : Designing Provably Correct Software : Theory and Practice - Or, a Mathematical Introduction to the Semantics of Computer Programs
- Autor
- Baber, Robert L
- Formato/Encadernação
- Boards
- Estado do livro
- Usado - Bom
- Quantidade Disponível
- 1
- Edição
- First Edition
- ISBN 10
- 0471914746
- ISBN 13
- 9780471914747
- Editorial
- John Wiley & Sons, Ltd
- Local de publicação
- Chichester, New York, Brisbane, Toronto, Singapore
- Data de publicação
- 1987
- Palavras-chave
- ELECTRONIC DIGITAL COMPUTERS PROGRAMMING GENERAL ;
Termos da venda
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.
Sobre o Vendedor
Kuenzig Books
Membro de Biblio desde 2008
Topsfield, Massachusetts
Sobre 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.
Glossário
Alguns termos que podem ser usados ??nesta descrição incluem:
- 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...
- 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...
- 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...
- 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"...
- 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...
