September Sale -- all items on the website discounted 20% (no additional discounts offered or allowed at this time). Sale ends 30 September, 2019
Shopping Cart Shopping Cart 0 items
info@oldcomputerbooks.com
Item Details
Theoretical Programming, international symposium on theoretical programming, 1974;. andrei Ershove, Nepomniaschy, series, Karlsruhe Goos, Harmanis, Lecture Notes in Computer Science number 5.

Theoretical Programming, international symposium on theoretical programming, 1974;.

Springer-Verlag Berlin and NY 1974, 407 pages.
Condition: Good overall, thick gray and maroon cardstock covers, softcover; chipping and wear at head and tail of spine, edgewear to covers at spine, prev. owner's name lightly in pen at upper right corner front cover; binding is sound overall, pages clean and unmarked.
Price: $8.00
save 20%$6.40
Item no. R249
Item Description
Includes papers such as, An axiomatic definition of the programming language Pascal (Hoare); Central technical issues in programming language design (Schwartz); On universal classes of program schemas *Trachtenbrot); Equivalence and optimization of programs (Letichevsky); Configurable computers - a new class of general purpose machines (Miller, Cocke); Towards automatical construction of parallel programs (Kotov); A calculus for the mathematical theory of computation (Milner); Admissability of fixed-point induction in first order logic of typed theories (Igarashi); and more.