Descripción:
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.
![The Spine of Software: Designing Provably Correct Software-Theory and Practice](https://d3525k1ryd2155.cloudfront.net/f/747/914/9780471914747.OL.0.b.jpg)
Foto de archivo: la portada puede ser diferente
The Spine of Software: Designing Provably Correct Software-Theory and Practice Tapa dura - 1987
de Robert L. Baber
Detalles
- Título The Spine of Software: Designing Provably Correct Software-Theory and Practice
- Autor Robert L. Baber
- Encuadernación Tapa dura
- Edición First Edition
- Páginas 316
- Volúmenes 1
- Idioma ENG
- Editorial Wiley, Chichester, New York, Brisbane, Toronto, Singapore
- Fecha de publicación 1987
- ISBN 9780471914747 / 0471914746
- Peso 1.29 libras (0.59 kg)
- Dimensiones 9.32 x 6.21 x 0.9 pulgadas (23.67 x 15.77 x 2.29 cm)
- Library of Congress subjects Computer software - Development, Computer programming
- Número de catálogo de la Librería del Congreso de EEUU 86032483
- Dewey Decimal Code 005.1
Más ejemplares
![The Spine of Software: Designing Provably Correct Software : Theory and Practice or a...](https://d3525k1ryd2155.cloudfront.net/f/747/914/9780471914747.OL.0.b.jpg)
Foto de archivo: la portada puede ser diferente
The Spine of Software: Designing Provably Correct Software : Theory and Practice or a Mathematical Introduction to the Semantics of Computer
de Robert L. Baber
- Usado
- Muy bueno
- Tapa dura
- Estado
- Usado - Muy bueno
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780471914747 / 0471914746
- Cantidad disponible
- 1
- Librería
-
Morangis, France
- Precio
-
EUR 34.61EUR 11.34 enviando a USA
Mostrar detalles
Precio
EUR 34.61
EUR 11.34
enviando a USA
![The Spine of Software : Designing Provably Correct Software : Theory and Practice - Or, a...](https://d3525k1ryd2155.cloudfront.net/h/201/213/514213201.0.m.jpg)
Más fotos
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
- Usado - Bien
- Edición
- First Edition
- ISBN 10 / ISBN 13
- 9780471914747 / 0471914746
- Cantidad disponible
- 1
- Librería
-
Topsfield, Massachusetts, United States
- Precio
-
EUR 36.84EUR 4.71 enviando a USA
Mostrar detalles
Descripción:
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.
Precio
EUR 36.84
EUR 4.71
enviando a USA
![The Spine of Software: Designing Provably Correct Software-Theory and Practice](https://d3525k1ryd2155.cloudfront.net/f/747/914/9780471914747.OL.0.b.jpg)
Foto de archivo: la portada puede ser diferente
The Spine of Software: Designing Provably Correct Software-Theory and Practice
de Baber, Robert L.
- Nuevo
- Tapa dura
- First
- Estado
- Nuevo
- Edición
- 1st Edition.
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780471914747 / 0471914746
- Cantidad disponible
- 1
- Librería
-
Highland Park, Illinois, United States
- Precio
-
EUR 40.62EUR 2.83 enviando a USA
Mostrar detalles
Descripción:
Wiley, 1988. 1st Edition. . Hardcover. New/New. Perfect condition disinfected
Precio
EUR 40.62
EUR 2.83
enviando a USA
![The Spine of Software: Designing Provably Correct Software-Theory and Practice](https://d3525k1ryd2155.cloudfront.net/f/747/914/9780471914747.OL.0.b.jpg)
Foto de archivo: la portada puede ser diferente
The Spine of Software: Designing Provably Correct Software-Theory and Practice
de Baber, Robert L.
- Usado
- Bien
- Tapa dura
- Estado
- Usado - Bien
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780471914747 / 0471914746
- Cantidad disponible
- 1
- Librería
-
Newport Coast, California, United States
- Precio
-
EUR 45.58Envío gratuito a USA
Mostrar detalles
Descripción:
hardcover. Good. Access codes and supplements are not guaranteed with used items.
Precio
EUR 45.58
Envío gratuito a USA