Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
- Softcover
- New
Softcover
Condition: New
US$ 129.99
Free Shipping
Ships within U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Item description from seller
Satisfaction Guaranteed or your money back.
Seller Inventory # 0898711649
- Title
- Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
- Author
- Manna, Zohar
- Publisher
- Society for Industrial and Applied Mathematics
- Publication year
- 1987
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 0898711649
- ISBN 13
- 9780898711646
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.
"Synopsis" may belong to another edition of this title.
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 5 to 14 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 14.00 |
Payment methods
Specialty
Science Fiction, Fantasy, etcSeller's business information
SHIMEDIA
NY, U.S.A.