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ț: 342.78 lei
- Preț: 380.25 lei
- 20% Preț: 333.54 lei
- 20% Preț: 1020.33 lei
- 15% Preț: 591.29 lei
- 20% Preț: 340.49 lei
- 20% Preț: 611.79 lei
- 20% Preț: 334.71 lei
- 20% Preț: 655.85 lei
- Preț: 387.75 lei
- 15% Preț: 588.04 lei
- 20% Preț: 586.71 lei
- 20% Preț: 474.87 lei
- Preț: 410.88 lei
- Preț: 393.74 lei
- Preț: 403.75 lei
- 15% Preț: 646.75 lei
- 15% Preț: 646.43 lei
- 20% Preț: 646.80 lei
- 20% Preț: 339.66 lei
- 15% Preț: 698.94 lei
- 15% Preț: 653.79 lei
- 18% Preț: 730.79 lei
- Preț: 399.29 lei
- 20% Preț: 420.91 lei
- Preț: 379.86 lei
- Preț: 381.00 lei
- 20% Preț: 334.86 lei
Preț: 335.03 lei
Preț vechi: 418.79 lei
-20% Nou
Puncte Express: 503
Preț estimativ în valută:
64.11€ • 66.53$ • 53.59£
64.11€ • 66.53$ • 53.59£
Carte tipărită la comandă
Livrare economică 17-31 martie
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.