Name: Specifying Software: A Hands-On Introduction (en Inglés)
SKU: 19493990
Price: 131.20 USD
Availability: InStock
Author: Tennent, R. D.
ISBN: 9780521808149

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

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

Formato

Libro Físico

Autor

R. D. Tennent

Editorial

Cambridge University Press

Año

2002

Idioma

Inglés

N° páginas

302

Encuadernación

Tapa Dura

Dimensiones

24.5x15.9x2.7 cm

Peso

0.61 kg.

ISBN

0521808146

ISBN13

9780521808149

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 Dura

Libro Nuevo Importado

Envío: 18 a 25 días háb.

$ 262.39$ 131.20

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 131.20

Llega entre el 12 Oct y el 23 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

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

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.