Books > Computing & IT > Computer programming
|
Not currently available
Lectures on the Logic of Computer Programming (Paperback)
Loot Price: R1,166
Discovery Miles 11 660
You Save: R82
(7%)
|
|
Lectures on the Logic of Computer Programming (Paperback)
Series: CBMS-NSF Regional Conference Series, v. 31
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.