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.
Read More
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.
Read Less
Add this copy of Lectures on the Logic of Computer Programming (Cbms-Nsf to cart. $7.27, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1987 by Society for Industrial and Appli.
Edition:
1987, Society for Industrial and Applied Mathematics (SIAM)
Publisher:
Society for Industrial and Applied Mathematics (SIAM)
Published:
1987
Language:
English
Alibris ID:
17261626380
Shipping Options:
Standard Shipping: $4.99
Trackable Expedited: $9.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Lectures on the Logic of Computer Programming to cart. $10.00, very good condition, Sold by Michener & Rutledge Bookseller rated 5.0 out of 5 stars, ships from Baldwin City, KS, UNITED STATES, published 1987 by Society for Industrial Mathematics.
Edition:
1987, Society for Industrial and Applied Mathematics (SIAM)
Publisher:
Society for Industrial and Applied Mathematics (SIAM)
Published:
1987
Language:
English
Alibris ID:
15604350334
Shipping Options:
Standard Shipping: $4.99
Trackable Expedited: $9.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. 0898711649. Crimped corner, otherwise text clean and solid; CBMS-NSF Regional Conference Series in Applied Mathematics 31; 0.4 x 9.8 x 6.8 Inches; 53 pages.
Add this copy of Lectures on the Logic of Computer Programming (Cbms-Nsf to cart. $35.74, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1987 by Society for Industrial and App.
Edition:
1987, Society for Industrial and Applied Mathematics (SIAM)
Add this copy of Lectures on the Logic of Computer Programming to cart. $70.43, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 1987 by Society for Industrial and Applied Mathematics (SIAM).
Edition:
1987, Society for Industrial and Applied Mathematics (SIAM)
Add this copy of Lectures on the Logic of Computer Programming to cart. $79.44, new condition, Sold by Media Smart rated 3.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 1987 by Society for Industrial & Applied Mathematics.
Edition:
1987, Society for Industrial and Applied Mathematics (SIAM)
Add this copy of Lectures on the Logic of Computer Programming to cart. $79.54, new condition, Sold by Revaluation Books rated 4.0 out of 5 stars, ships from Exeter, DEVON, UNITED KINGDOM, published 1987 by Society for Industrial & Applied.
Edition:
1987, Society for Industrial and Applied Mathematics (SIAM)
Add this copy of Lectures on the Logic of Computer Programming to cart. $112.06, new condition, Sold by Kennys.ie rated 4.0 out of 5 stars, ships from Galway, IRELAND, published 1987 by Society for Industrial and Applied Mathematics (SIAM).
Edition:
1987, Society for Industrial and Applied Mathematics (SIAM)