.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Algorithm Synthesis: A Comparative Study
Steier, David M.; Anderson, A. Penny
€ 126.07
FREE Delivery in Ireland
Description for Algorithm Synthesis: A Comparative Study
paperback. Num Pages: 118 pages, 1 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 7. Weight in Grams: 204.
In early 1986, one of us (D.M.S.) was constructing an artificial intelligence system to design algorithms, and the other (A.P.A.) was getting started in program transformations research. We shared an office, and exchanged a few papers on the systematic development of algorithms from specifications. Gradually we realized that we were trying to solve some of the same problems. And so, despite radical differences between ourselves in research approaches, we set out together to see what we could learn from these papers. That's how this book started: a couple of graduate students trying to cope with The Literature. At first, there ... Read more
In early 1986, one of us (D.M.S.) was constructing an artificial intelligence system to design algorithms, and the other (A.P.A.) was getting started in program transformations research. We shared an office, and exchanged a few papers on the systematic development of algorithms from specifications. Gradually we realized that we were trying to solve some of the same problems. And so, despite radical differences between ourselves in research approaches, we set out together to see what we could learn from these papers. That's how this book started: a couple of graduate students trying to cope with The Literature. At first, there ... Read more
Product Details
Format
Paperback
Publication date
1989
Publisher
Springer United States
Number of pages
118
Condition
New
Number of Pages
118
Place of Publication
New York, NY, United States
ISBN
9780387969602
SKU
V9780387969602
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Algorithm Synthesis: A Comparative Study