Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981: Nato Science Series C:, cartea 95
Editat de A.W. Biermann, G. Guihoen Limba Engleză Hardback – 31 dec 1982
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 1221.07 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 8 dec 2011 | 1221.07 lei 6-8 săpt. | |
Hardback (1) | 1228.15 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 31 dec 1982 | 1228.15 lei 6-8 săpt. |
Din seria Nato Science Series C:
- 24% Preț: 797.66 lei
- 18% Preț: 957.62 lei
- 18% Preț: 957.13 lei
- 18% Preț: 1227.52 lei
- Preț: 396.40 lei
- Preț: 403.75 lei
- 18% Preț: 1239.37 lei
- 18% Preț: 1236.51 lei
- 18% Preț: 1231.78 lei
- 18% Preț: 1229.10 lei
- 18% Preț: 1835.21 lei
- 24% Preț: 1076.36 lei
- Preț: 390.46 lei
- Preț: 369.63 lei
- 18% Preț: 1232.41 lei
- Preț: 394.51 lei
- 18% Preț: 1226.24 lei
- 18% Preț: 1845.80 lei
- Preț: 399.88 lei
- Preț: 384.28 lei
- Preț: 390.88 lei
- Preț: 381.19 lei
- 18% Preț: 1848.64 lei
- 18% Preț: 951.14 lei
- 18% Preț: 1230.35 lei
- 18% Preț: 1236.51 lei
- Preț: 401.03 lei
- Preț: 406.25 lei
- 18% Preț: 1230.84 lei
- Preț: 418.34 lei
- 18% Preț: 1223.74 lei
Preț: 1228.15 lei
Preț vechi: 1497.75 lei
-18% Nou
Puncte Express: 1842
Preț estimativ în valută:
235.11€ • 241.93$ • 198.19£
235.11€ • 241.93$ • 198.19£
Carte tipărită la comandă
Livrare economică 28 februarie-14 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789027715043
ISBN-10: 9027715041
Pagini: 388
Ilustrații: IX, 374 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.74 kg
Ediția:1983
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Nato Science Series C:
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9027715041
Pagini: 388
Ilustrații: IX, 374 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.74 kg
Ediția:1983
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Nato Science Series C:
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
Program Construction by Transformations: A Family Tree of Sorting Programs.- Issues in the Methodical Design of Concurrent Programs.- An Analysis of Choice in Program Design.- The Design of Very High Level Languages.- Implementation Considerations in Very High Level Languages.- A Study of Prolog.- Program Synthesis from Examples of Behavior.- Deductive Synthesis of the Unification Algorithm.- The Synthesis of Implementations for Abstract Data Types, A Program Transformation Tactic.- Natural Language Programming.- Author Index.