Name: the evolution of programs (en Inglés)
Price: 82420.00 CLP
Availability: InStock
Author: Dershowitz
ISBN: 9780817631710

portada the evolution of programs (en Inglés)

Formato

Libro Físico

Autor

Alan M. Dershowitz

Editorial

Birkhauser

Año

1983

Idioma

Inglés

N° páginas

359

Encuadernación

Tapa Blanda

Dimensiones

22.9 x 15.2 x 1.9 cm

Peso

0.49 kg.

ISBN

0817631712

ISBN13

9780817631710

Categorías

Ciencia y análisis de datos
Historia de la tecnología y la ingeniería
Historia de la informática, tecnologías digitales y de la información
Análisis y captura de datos
Juegos de preguntas y respuestas

the evolution of programs (en Inglés)

Alan M. Dershowitz (Autor) · Birkhauser · Tapa Blanda

Libro Nuevo

$ 82.420

$ 137.370

Ahorras: $ 54.950

40% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 13 de Mayo y el Miércoles 22 de Mayo.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "the evolution of programs (en Inglés)"

-Ecclesiastes 12:12 Programs are invariably subjected to many rorms or transrormation. After an initial version of a program has been designed and developed, it undergoes debugging and certification. In addition, most long-lived pro- grams have a liCe-cycle that includes modifications to meet amended specifications and extensions for expanded capabilities. Such evolution- ary aspects of programming are the topic of this monograph. We present rormal methods for manipulating programs and illustrate their applica- tion with numerous examples. Such methods could be incorporated in semi-automated programming environments, where they would serve to ease the burden on the programmer. We begin by describing a method whereby a given program that achieves one goal can be modified to achieve a different goal or a pro- gram that computes wrong results can be debugged to achieve the 2 Preface intended results. The abstraction of a set of cognate programs to obtain a program schema, and the instantiation of abstract schemata to solve concrete problems, are approached from the same perspective. In addition, we describe synthesis rules for generating code from specifications and annotation rules for making assertions about code. The synthesis rules may be used when a program is first being developed, or when, in the course of modifying a program, the need arises to rewrite a program segment. Annotation rules may be used for the purpose of determining what an incorrect program really does before attempting to debug it or how a correct program works before attempting to modify it.