Ir al contenido

Constructing Correct Software
Foto de archivo: la portada puede ser diferente

Constructing Correct Software Tapa blanda - 2004

de D. John Cooke

Información de la editorial

This text illustrates and explains the constructive approach to software development. The approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained. The text is accessible to anyone with a basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate and software developers in industry.

Primera línea

It is an introduction to the science of writing programs, the engineering of software.

Detalles

  • Título Constructing Correct Software
  • Autor D. John Cooke
  • Encuadernación Tapa blanda
  • Edición 2nd
  • Páginas 509
  • Volúmenes 1
  • Idioma ENG
  • Editorial Springer
  • Fecha de publicación 2004-11-08
  • Ilustrado
  • Features Bibliography, Illustrated, Index, Table of Contents
  • ISBN 9781852338206 / 1852338202
  • Peso 1.65 libras (0.75 kg)
  • Dimensiones 9.16 x 6.44 x 0.97 pulgadas (23.27 x 16.36 x 2.46 cm)
  • Número de catálogo de la Librería del Congreso de EEUU 2004050410
  • Dewey Decimal Code 005.1

Más ejemplares

Constructing Correct Software (Formal Approaches to Computing and Information Technology,)
Foto de archivo: la portada puede ser diferente

Constructing Correct Software (Formal Approaches to Computing and Information Technology,)

de Cooke, D. John

  • Usado
Estado
Used - Good
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Cantidad disponible
1
Librería
Waltham Abbey, Essex, United Kingdom
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 9.82
EUR 10.69 enviando a USA

Mostrar detalles

Descripción:
Springer. Used - Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
Precio
EUR 9.82
EUR 10.69 enviando a USA
Constructing Correct Software
Foto de archivo: la portada puede ser diferente

Constructing Correct Software

de Cooke, John

  • Usado
Estado
Used - Very Good
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Cantidad disponible
1
Librería
Mishawaka, Indiana, United States
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 46.54
Envío gratuito a USA

Mostrar detalles

Descripción:
Springer London, Limited. Used - Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Precio
EUR 46.54
Envío gratuito a USA
Constructing Correct Software
Foto de archivo: la portada puede ser diferente

Constructing Correct Software

de John Cooke

  • Nuevo
  • Tapa blanda
Estado
Nuevo
Encuadernación
Paperback
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Cantidad disponible
10
Librería
Southport, Merseyside, United Kingdom
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 71.84
EUR 11.89 enviando a USA

Mostrar detalles

Descripción:
Paperback / softback. New. Links constructive software development to traditional problem-solving methods Not dependent on any particular specification language, but is based instead on their common core
Precio
EUR 71.84
EUR 11.89 enviando a USA
Constructing Correct Software
Foto de archivo: la portada puede ser diferente

Constructing Correct Software

de D. John Cooke

  • Nuevo
Estado
Nuevo
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Cantidad disponible
1
Librería
Woodside, New York, United States
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 57.50
EUR 3.77 enviando a USA

Mostrar detalles

Descripción:
Springer , pp. 532 2nd Edition . Papeback. New.
Precio
EUR 57.50
EUR 3.77 enviando a USA
CONSTRUCTING CORRECT SOFTWARE
Foto de archivo: la portada puede ser diferente

CONSTRUCTING CORRECT SOFTWARE

de COOKE, JOHN ,

  • Nuevo
  • Tapa blanda
Estado
Nuevo
Edición
2nd
Encuadernación
Paperback
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Cantidad disponible
2
Librería
New Delhi, India
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 70.79
EUR 9.44 enviando a USA

Mostrar detalles

Descripción:
Springer, 2005. 2nd. Paperback. New/New.
Precio
EUR 70.79
EUR 9.44 enviando a USA
Constructing Correct Software (Formal Approaches to Computing and Information Technology,)
Foto de archivo: la portada puede ser diferente

Constructing Correct Software (Formal Approaches to Computing and Information Technology,)

de Cooke, D. John

  • Usado
  • Bien
  • Tapa blanda
Estado
Usado - Bien
Encuadernación
Paperback
ISBN 10 / ISBN 13
9781852338206 / 1852338202
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 74.37
Envío gratuito a USA

Mostrar detalles

Descripción:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Precio
EUR 74.37
Envío gratuito a USA
Constructing Correct Software (Formal Approaches to Computing and Information Technology,)
Foto de archivo: la portada puede ser diferente

Constructing Correct Software (Formal Approaches to Computing and Information Technology,)

de Cooke, D. John

  • Nuevo
  • Tapa blanda
Estado
Nuevo
Encuadernación
Paperback
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Cantidad disponible
1
Librería
San Diego, California, United States
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 106.26
EUR 5.14 enviando a USA

Mostrar detalles

Descripción:
Springer. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Precio
EUR 106.26
EUR 5.14 enviando a USA
Constructing Correct Software,2/E (Pb)
Foto de archivo: la portada puede ser diferente

Constructing Correct Software,2/E (Pb)

de Cooke J

  • Nuevo
  • Tapa blanda
Estado
Nuevo
Encuadernación
Paperback
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Cantidad disponible
500
Librería
New Delhi, Delhi, India
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 186.16
EUR 14.15 enviando a USA

Mostrar detalles

Descripción:
Springer, 2005. Paperback. New.
Precio
EUR 186.16
EUR 14.15 enviando a USA
Constructing Correct Software,2/E (Pb)
Foto de archivo: la portada puede ser diferente

Constructing Correct Software,2/E (Pb)

de Cooke J

  • Nuevo
  • Tapa blanda
Estado
Nuevo
Encuadernación
Paperback
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Cantidad disponible
500
Librería
New Delhi, Delhi, India
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 186.16
EUR 14.15 enviando a USA

Mostrar detalles

Descripción:
Springer, 2005. Paperback. New.
Precio
EUR 186.16
EUR 14.15 enviando a USA