evolution programs von dershowitz (8 Ergebnisse)

Zustand: Good. Volume 5. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:0817631712.

Paperback. Zustand: Very Good. Boston, Basel, Stuttgart: Birkäuser, 1983. 357 pp. 23 x 15 cm. Glossy stiff paper wrappers printed yellow with blue titiling. Sunning to spine. Rubbing to covers with some bumping to corners and spine ends. Small 3 mm permanent marker spot to fore edge. Interior is clean and unmarked. Binding is firm with no cracks. . Soft Cover. Very Good.

Paperback. Zustand: Brand New. 1st edition. 368 pages. 9.00x5.75x0.75 inches. In Stock.

Zustand: New. Series: Progress in Computer Science and Applied Logic. Num Pages: 359 pages, biography. BIC Classification: UYA. Category: (G) General (US: Trade). Dimension: 229 x 152 x 19. Weight in Grams: 538. . 1983. Paperback. . . . . Books ship from the US and Ireland.

Hardcover. Zustand: Fine. 15,5 x 23,5 cm Original-Pappband ohne Schutzumschlag, SEHR GUTES EXEMPLAR---Progress in Computer Science No. 5. Edited by J. Bentley, E. Coffman, R. L. Graham, D. Kuck, N. Pippenger. In englischer Sprache. Für Ihre Zufriedenheit versenden wir mit DHL und ausschließlich mit Trackingcode für eine sichere Sendungsverfolgung! Weitere Angebote unter antiquariat-kastanienhof , 357 Seiten. nein.

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - -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.

Erstausgabe / First Edition, 8°, 357 S., Text: englisch, orange original Kartonage (Paperback), der Rücken und die Rückenkanten etwas aufgehellt, sonst ein gutes, textsauberes Exemplar Sprache: Englisch. Abholung im Ladengeschäft in Frankfurt am Main möglich - spart die Portokosten. Pickup at the store in Frankfurt am Main is possible and saves the shipping costs.