.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
The Evolution Of Programs
Nachum Dershowitz
€ 67.55
FREE Delivery in Ireland
Description for The Evolution Of Programs
Paperback. 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.
-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 ... Read more
-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 ... Read more
Product Details
Format
Paperback
Publication date
1983
Publisher
Birkhauser Boston Inc United States
Number of pages
359
Condition
New
Series
Progress in Computer Science and Applied Logic
Number of Pages
359
Place of Publication
Secaucus, United States
ISBN
9780817631710
SKU
V9780817631710
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for The Evolution Of Programs