Ir al contenido

The Spine of Software: Designing Provably Correct Software-Theory and Practice
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
Ir arriba

Más ejemplares

The Spine of Software: Designing Provably Correct Software : Theory and Practice or a...
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
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 34.61
EUR 11.34 enviando a USA

Mostrar detalles

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.
Precio
EUR 34.61
EUR 11.34 enviando a USA
The Spine of Software : Designing Provably Correct Software : Theory and Practice - Or, a...
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
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 36.84
EUR 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
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
Puntuación del vendedor:
Este vendedor ha conseguido 3 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 40.62
EUR 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
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
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 45.58
Enví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