7%OFF
Stock image for illustration purposes only - book cover, edition or condition may vary.
Lectures on the Logic of Computer Programming
Zohar Manna
€ 54.73
€ 50.86
FREE Delivery in Ireland
Description for Lectures on the Logic of Computer Programming
Paperback.
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification.
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification.
Product Details
Format
Paperback
Publication date
1987
Publisher
Society for Industrial & Applied Mathematics,U.S. United States
Number of pages
53
Condition
New
Number of Pages
53
Place of Publication
New York, United States
ISBN
9780898711646
SKU
V9780898711646
Shipping Time
Usually ships in 5 to 9 working days
Ref
99-3
Reviews for Lectures on the Logic of Computer Programming