Code: 02065385

Automatic Program Development

Name: Automatic Program Development
Brand: Springer
SKU: 02065385
Price: 102.69 EUR
Availability: InStock
Author: Olivier Danvy
ISBN: 9789048176748

by Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

Language: English
Binding: Paperback
Number of pages: 272
Publisher: Springer, 2010
More about this

102.69 €

RRP: 111.29 €

You save 8.60 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Detská encyklopédia o ľudskom tele
7.15 € -38 %
Buy
diari della speziale
8.16 €
Buy
Moct 1 (A1-A2) - Lehrbuch, m. 2 Audio-CDs, Überarbeitete Ausgabe. Bd.1
38.63 €
Buy
The Fate Fourth Edition: Fourth Edition
5.84 € -7 %
Buy
Divan Siirinde Ashab-i Kehf ve Rasihin Ashab-i Kahf Mesnevisi
33.89 € -4 %
Buy
Calcium Channel Pharmacology
153.94 € -7 %
Buy
Faire son limoncello - Et autre liqueurs de fruits
32.58 €
Buy
Storia Del Calcio I Campionati 1913-14
16.23 € -1 %
Buy
Upgrading to Fortran 90
100.47 € -9 %
Buy
Les Actions Publiques Et Privees En Droit Egyptien Premier Volume
18.35 € -1 %
Buy
Der Markenwert als strategisches Managementinstrument
38.23 € -10 %
Buy
Noel et busca
19.66 €
Buy
Social Work Practice Placements
83.93 € -9 %
Buy
Upland Pastures
20.17 € -1 %
Buy
The Joy of Simplified Nutrition
9.98 € -24 %
Buy
Handbook Of Biochemistry Practical Of Protein
26.83 € -7 %
Buy
Introduction Philippine Politics
28.34 €
Buy
Herr Etatsrat
8.16 € -9 %
Buy
Les aumôniers allemands pendant la Grande Guerre
23.40 € -12 %
Buy
Diverse Effects of Hypoxia on Tumor Progression
153.94 € -7 %
Buy
Meadow at Chapel Hill Cross
11.09 € -35 %
Buy
Essai Sur La Condition Des Barbares Etablis Dans L'Empire Romain Au Quatrieme Siecle (1873)
27.33 € -2 %
Buy
Die Eishockey Pinguine
9.07 € -10 %
Buy
CORE CONTENT OF THE TEACHING OF LARGE SY
17.44 € -2 %
Buy
(in)Sanity: Journey through darkness
14.82 € -7 %
Buy
Pierres Roulées - Chrysoprase - Sachet 500 grs
50.74 €
Buy
Einleitung in die Septuaginta
185.72 € -7 %
Buy
Non ho paura delle tempeste. Vita e opere di Louisa May Alcott
15.73 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 249 loyalty points

Book synopsis

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Among them there are two key papers: a retrospective view of his research lines, and a proposal for future studies in the area of the automatic program derivation. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.§