Ir al contenido

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

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

Ver a tamaño completo.

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

de Baber, Robert L

  • Usado
  • Bien
  • Firmado
  • First
Estado
Bien
ISBN 10
0471914746
ISBN 13
9780471914747
Librería
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Topsfield, Massachusetts, United States
Precio
EUR 36.96
O solamente EUR 33.26 con un
Membresía Biblioclub
EUR 4.73 Envío a USA
Envío estándar: de 5 a 14 días

Más opciones de envío

Formas de pago aceptadas

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

Sobre este artículo

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.

Reseñas

Iniciar sesión or Crear una cuenta primero!)

¡Estás clasificando este libro como un obra, no al vendedor ni la copia específica que has comprado!

Detalles

Librería
Kuenzig Books US (US)
Inventario del vendedor #
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/Encuadernación
Boards
Estado del libro
Usado - Bien
Cantidad disponible
1
Edición
First Edition
ISBN 10
0471914746
ISBN 13
9780471914747
Editorial
John Wiley & Sons, Ltd
Lugar de publicación
Chichester, New York, Brisbane, Toronto, Singapore
Fecha de publicación
1987
Palabras clave
ELECTRONIC DIGITAL COMPUTERS PROGRAMMING GENERAL ;

Términos de venta

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 el vendedor

Kuenzig Books

Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Miembro 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.

Glosario

Algunos términos que podrían usarse en esta descripción incluyen:

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"...
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...
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...
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...
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...
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...
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...

Categorías de este libro

tracking-