Lectures on the logic of computer programming
 |
|
Описание:
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.Похожие книги
 | Lectures on the logic of computer programming Автор: Zohar Manna Год: 1987 |
| Lectures on the logic of computer programming Автор: Zohar Manna Год: 1987 |
| Lectures on the Logic of Computer Programming Автор: Zohar Manna Год: 1987 |
 | Effects of an Inner City Preschool on Achievement Автор: Richard McElroy Год: 2010 |
 | Manage Traffic Speed, Save Money and Lives Автор: Greg G. Chen Год: 2010 |
| Algorithm 419: Zeros of a complex polynomial Автор: Jenkins, Traub. Год: 1972 |