Ir al contenido

Specifying Software: A Hands-On Introduction
Foto de archivo: la portada puede ser diferente

Specifying Software: A Hands-On Introduction Tapa blanda - 2002 - 1st Edición

de R. D. Tennent


Información de la editorial

This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. A text for a second-year undergraduate course in Computer Science and Computer Engineering programs, it is also suitable for self-study. This book will help students to improve their programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership.

Detalles

  • Título Specifying Software: A Hands-On Introduction
  • Autor R. D. Tennent
  • Encuadernación Tapa blanda
  • Número de edición 1st
  • Edición 1
  • Páginas 302
  • Volúmenes 1
  • Idioma ENG
  • Editorial Cambridge University Press, Cambridge, UK; New York
  • Fecha de publicación 2002-02-25
  • ISBN 9780521004015 / 0521004012
  • Peso 0.95 libras (0.43 kg)
  • Dimensiones 8.9 x 6 x 0.9 pulgadas (22.61 x 15.24 x 2.29 cm)
  • Library of Congress subjects Computer programming, Computer software - Specifications
  • Número de catálogo de la Librería del Congreso de EEUU 2001037939
  • Dewey Decimal Code 005.1

Reseñas en medios

Citas

  • Choice, 07/01/2002, Page 1994
Ir arriba
Specifying Software : A Hands-On Introduction
Foto de archivo: la portada puede ser diferente

Specifying Software : A Hands-On Introduction

de Tennent, R. D

  • Usado
Estado
Used - Very Good
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Cantidad disponible
1
Librería
Dunfermline, Fife, United Kingdom
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 6.56
EUR 9.45 enviando a USA

Mostrar detalles

Descripción:
Cambridge University Press. Used - Very Good. Ships from the UK. 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 6.56
EUR 9.45 enviando a USA
Specifying Software: A Hands-On Introduction

Specifying Software: A Hands-On Introduction

de Tennent, R. D.

  • Usado
  • Tapa blanda
Estado
Like New
Encuadernación
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Cantidad disponible
1
Librería
GORING BY SEA, West Sussex, United Kingdom
Puntuación del vendedor:
Este vendedor ha conseguido 2 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 11.34
EUR 10.15 enviando a USA

Mostrar detalles

Descripción:
Paperback. Like New.
Precio
EUR 11.34
EUR 10.15 enviando a USA
Specifying Software : A Hands-On Introduction
Foto de archivo: la portada puede ser diferente

Specifying Software : A Hands-On Introduction

de Tennent, R. D

  • Usado
Estado
Used - Very Good
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Cantidad disponible
2
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 11.02
Envío gratuito a USA

Mostrar detalles

Descripción:
Cambridge University Press. Used - Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
Precio
EUR 11.02
Envío gratuito a USA
Specifying Software: A Hands-On Introduction
Foto de archivo: la portada puede ser diferente

Specifying Software: A Hands-On Introduction

de Tennent, R. D.

  • Usado
  • good
  • Tapa blanda
Estado
Usado - Good
Encuadernación
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Cantidad disponible
1
Librería
Seattle, Washington, United States
Puntuación del vendedor:
Este vendedor ha conseguido 4 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 11.04
Envío gratuito a USA

Mostrar detalles

Descripción:
Cambridge University Press, 2002. Paperback. Good. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Precio
EUR 11.04
Envío gratuito a USA
Specifying Software: A Hands-On Introduction

Specifying Software: A Hands-On Introduction

de Tennent, R. D.

  • Usado
  • Aceptable
  • Tapa blanda
Estado
Usado - Acceptable
Encuadernación
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Cantidad disponible
1
Librería
Seattle, Washington, United States
Puntuación del vendedor:
Este vendedor ha conseguido 4 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 11.04
Envío gratuito a USA

Mostrar detalles

Descripción:
Cambridge University Press, 2002. Paperback. Acceptable. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Precio
EUR 11.04
Envío gratuito a USA
Specifying Software: A Hands-On Introduction
Foto de archivo: la portada puede ser diferente

Specifying Software: A Hands-On Introduction

de Tennent, R. D

  • Usado
  • Tapa blanda
Estado
Used: Good
Edición
1
Encuadernación
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Cantidad disponible
1
Librería
HOUSTON, Texas, United States
Puntuación del vendedor:
Este vendedor ha conseguido 4 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 15.14
Envío gratuito a USA

Mostrar detalles

Descripción:
Cambridge University Press, 2002-02-25. 1. paperback. Used: Good.
Precio
EUR 15.14
Envío gratuito a USA
Specifying Software: A Hands-On Introduction
Foto de archivo: la portada puede ser diferente

Specifying Software: A Hands-On Introduction

de Tennent, R.D.

  • Usado
  • near fine
  • Tapa blanda
Estado
Usado - Near Fine
Encuadernación
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Cantidad disponible
1
Librería
Vancouver, Washington, United States
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 26.03
EUR 5.43 enviando a USA

Mostrar detalles

Descripción:
Spain: Cambridge Univ Pr, 2001. Trade paperback in near fine condition.. Soft cover. Near Fine.
Precio
EUR 26.03
EUR 5.43 enviando a USA
Specifying Software: A Hands-On Introduction
Foto de archivo: la portada puede ser diferente

Specifying Software: A Hands-On Introduction

de R. D. Tennent

  • Nuevo
  • Tapa blanda
Estado
New
Encuadernación
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Cantidad disponible
1
Librería
Exeter, Devon, United Kingdom
Puntuación del vendedor:
Este vendedor ha conseguido 4 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 45.07
EUR 11.85 enviando a USA

Mostrar detalles

Descripción:
Cambridge Univ Pr, 2002. Paperback. New. 250 pages. 9.25x6.00x1.00 inches.
Precio
EUR 45.07
EUR 11.85 enviando a USA
Specifying Software: A Hands-On Introduction

Specifying Software: A Hands-On Introduction

de R.D. Tennent

  • Nuevo
  • Tapa blanda
Estado
New
Encuadernación
Paperback
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Cantidad disponible
5
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 48.87
EUR 11.79 enviando a USA

Mostrar detalles

Descripción:
Paperback / softback. New. An introductory textbook on software specifications suitable for programming students with some background in discrete mathematics and logic. The author adopts a unique 'hands-on' approach, presenting basic concepts in the context of numerous small programming examples. Topics include assertional notations, state diagrams, grammars, and regular expressions.
Precio
EUR 48.87
EUR 11.79 enviando a USA
Specifying Software: A Hands-On Introduction

Specifying Software: A Hands-On Introduction

de R. D. Tennent

  • Nuevo
Estado
New
ISBN 10 / ISBN 13
9780521004015 / 0521004012
Cantidad disponible
15
Librería
Uxbridge, Greater London, United Kingdom
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 52.71
EUR 9.47 enviando a USA

Mostrar detalles

Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Specifying Software: A Hands-On Introduction.
Precio
EUR 52.71
EUR 9.47 enviando a USA