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) | 1196.29 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 8 dec 2011 | 1196.29 lei 6-8 săpt. | |
Hardback (1) | 1203.25 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 31 dec 1982 | 1203.25 lei 6-8 săpt. |
Din seria Nato Science Series C:
- 24% Preț: 797.66 lei
- 18% Preț: 938.22 lei
- 18% Preț: 937.73 lei
- 18% Preț: 1202.63 lei
- Preț: 388.44 lei
- Preț: 395.64 lei
- 18% Preț: 1214.22 lei
- 18% Preț: 1211.42 lei
- 18% Preț: 1206.79 lei
- 18% Preț: 1204.16 lei
- 18% Preț: 1797.94 lei
- 24% Preț: 1076.36 lei
- Preț: 382.63 lei
- Preț: 369.63 lei
- 18% Preț: 1207.41 lei
- Preț: 386.57 lei
- 18% Preț: 1201.36 lei
- 18% Preț: 1808.30 lei
- Preț: 391.84 lei
- Preț: 384.28 lei
- Preț: 390.88 lei
- Preț: 381.19 lei
- 18% Preț: 1811.09 lei
- 18% Preț: 931.86 lei
- 18% Preț: 1205.39 lei
- 18% Preț: 1211.42 lei
- Preț: 392.97 lei
- Preț: 398.08 lei
- 18% Preț: 1205.86 lei
- Preț: 409.92 lei
- 18% Preț: 1198.92 lei
Preț: 1203.25 lei
Preț vechi: 1467.38 lei
-18% Nou
Puncte Express: 1805
Preț estimativ în valută:
230.30€ • 241.61$ • 191.05£
230.30€ • 241.61$ • 191.05£
Carte tipărită la comandă
Livrare economică 29 ianuarie-12 februarie 25
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.