The Evolution of Programs: Progress in Computer Science and Applied Logic, cartea 5
Autor DERSHOWITZen Limba Engleză Paperback – 1983
Din seria Progress in Computer Science and Applied Logic
- 20% Preț: 335.90 lei
- Preț: 372.60 lei
- 20% Preț: 326.84 lei
- 20% Preț: 999.65 lei
- 15% Preț: 579.34 lei
- 20% Preț: 333.65 lei
- 20% Preț: 611.79 lei
- 20% Preț: 327.98 lei
- 20% Preț: 642.59 lei
- Preț: 379.96 lei
- 15% Preț: 576.15 lei
- 20% Preț: 574.85 lei
- 20% Preț: 465.28 lei
- Preț: 402.62 lei
- Preț: 385.81 lei
- Preț: 395.64 lei
- 15% Preț: 633.70 lei
- 15% Preț: 633.36 lei
- 20% Preț: 635.90 lei
- 20% Preț: 332.83 lei
- 15% Preț: 684.81 lei
- 15% Preț: 641.20 lei
- 18% Preț: 716.01 lei
- Preț: 391.27 lei
- 20% Preț: 420.91 lei
- Preț: 372.24 lei
- Preț: 373.35 lei
- 20% Preț: 328.13 lei
Preț: 328.29 lei
Preț vechi: 410.37 lei
-20% Nou
Puncte Express: 492
Preț estimativ în valută:
62.83€ • 65.26$ • 52.19£
62.83€ • 65.26$ • 52.19£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780817631710
ISBN-10: 0817631712
Pagini: 359
Ilustrații: V, 359 p.
Dimensiuni: 152 x 229 x 19 mm
Greutate: 0.49 kg
Editura: Birkhäuser Boston
Colecția Birkhäuser
Seria Progress in Computer Science and Applied Logic
Locul publicării:Boston, MA, United States
ISBN-10: 0817631712
Pagini: 359
Ilustrații: V, 359 p.
Dimensiuni: 152 x 229 x 19 mm
Greutate: 0.49 kg
Editura: Birkhäuser Boston
Colecția Birkhäuser
Seria Progress in Computer Science and Applied Logic
Locul publicării:Boston, MA, United States
Public țintă
ResearchCuprins
1. Introduction.- 2. General Overview.- 2.1. Introduction.- 2.2. The Problem.- 2.3. Annotation.- 2.4. Debugging.- 2.5. Modification.- 2.6. Abstraction.- 2.7. Instantiation.- 2.8. Synthesis.- 2.9. Discussion.- 3. Program Modification and Debugging.- 3.1. Introduction.- 3.2. Overview.- 3.3. Examples.- 3.4. Discussion.- 4. Program Abstraction and Instantiation.- 4.1. Introduction.- 4.2. Overview.- 4.3. Examples.- 4.4. Discussion.- 5. Program Synthesis and Extension.- 5.1. Introduction.- 5.2. Overview.- 5.3. Examples.- 5.4. Discussion.- 6. Program Annotation and Analysis.- 6.1. Introduction.- 6.2. Overview.- 6.3. Examples.- 6.4. Discussion.- 7. General Discussion.- Appendix 1: Global Transformations.- Appendix 2: Program Schemata.- Appendix 3: Synthesis Rules.- Appendix 4: Annotation Rules.- 4.1. Assignment Rules.- 4.1.1. Range Rules.- 4.1.2. Set Assignment Rules.- 4.1.3. Counter Relation Rules.- 4.1.4. Basic Relation Rules.- 4.1.5. Assorted Relation Rules.- 4.2. Control Rules.- 4.2.1. Control Axioms.- 4.2.2. Assignment Control Rules.- 4.2.3. Conditional Control Rules.- 4.2.4. Loop Control Rules.- 4.2.5. Value Rules.- 4.3. Heuristic Rules.- 4.3.1. Control Heuristics.- 4.3.2. Dangerous Heuristics.- Appendix 5: Implementation.- 5.1. Introduction.- 5.2. Modification.- 5.3. Synthesis.- 5.4. Annotation.- References.- Name Index.