Lectures on the logic of computer programming

Main
Computers - Computer Science
Lectures on the logic of computer...

Lectures on the logic of computer programming

Name: Lectures on the logic of computer programming
ISBN: 9780898711646

Zohar Manna

0 / 0

0 comments

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

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.

Categorias:

Computers - Computer Science

Ano:

1987

Editora:

Society for Industrial and Applied Mathematics

Idioma:

english

Páginas:

ISBN 10:

0898711649

ISBN 13: