Opening book details…
Can I read Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics) on EtoBox?
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics) by Zohar Manna; Society for Industrial and Applied Mathematics is a computer science book available to read on EtoBox.
What is Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics) about?
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 gi
Who reads Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Zohar Manna; Society for Industrial and Applied Mathematics
- Publisher
- Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104)
- Published
- 1987
- Language
- EN
- ISBN
- 9780898711646
- Category
- computer science
- Subjects
- Mathematics, Science, Programming
- Updated
- 2026-03-25
Other editions & translations
More by Zohar Manna; Society for Industrial and Applied Mathematics
Browse all works by Zohar Manna; Society for Industrial and Applied Mathematics
Similar books
- Geometric Probability (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics) — Herbert Solomon; Conference Board of the Mathematical Sciences.; Society for Industrial and Applied Mathematics (1978)
- Approximation of Population Processes (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics) — Thomas G Kurtz; Society for Industrial and Applied Mathematics (1981)
- Data Structures and Network Algorithms (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics) — Robert Endre Tarjan (1983)
- Combinatorial Algorithms : An Update (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics) — Herbert S Wilf; Albert Nijenhuis; Conference Board of the Mathematical Sciences.; National Science Foundation (U.S.) (1989)
- Mathematical Biofluiddynamics (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics) — James Lighthill (1987)
- Lectures on Geometric Methods in Mathematical Physics (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics) — Jerrold E Marsden; Society for Industrial and Applied Mathematics (1987)