Name: Specifying Software: A Hands-On Introduction (en Inglés)
Price: 81.77 USD
Availability: InStock
Author: R. D. Tennent
ISBN: 9780521004015

portada Specifying Software: A Hands-On Introduction (en Inglés)

Specifying Software: A Hands-On Introduction (en Inglés)

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

R. D. Tennent

Año

2002

Idioma

Inglés

N° páginas

302

Encuadernación

Tapa Blanda

ISBN

0521004012

ISBN13

9780521004015

N° edición

Categorías

Lenguajes de programación y extensión/scripting: general

Specifying Software: A Hands-On Introduction (en Inglés)

R. D. Tennent (Autor) · Cambridge University Press · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 148.67$ 81.77

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 65 unidades

$ 81.77

Llega entre el 26 Ago y el 08 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Specifying Software: A Hands-On Introduction (en Inglés)"

Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study. Using this book will help the reader improve 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 presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership. 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.