Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine- Not Issued with a Dust Jacket. 8vo-over 7¾"-9¾" tall. The first printing, 255 pages. "This book is divided into three parts. Part I, Proving Programs Correct, illustated the use of Floyd-Hoare logic for specifying and varifying programs; techniques for mechanizing program varification are explained. Part II, The Lambda-Caluculus and Combinators, describes the theory underlying functional languages and their implementation. Part II, Implementing the Theories, contains detailed descriptions of working programs which illustrate the material described in Parts I and II. Also included is a complete program verifier, based on a simple re-writing engine, and a tool kit for experimenting with implemetnation techniques for functional languages." FINE-HARDCOVER.