Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 3 dokumen yang sesuai dengan query
cover
Manna, Zohar
The logical basis for computer programming; Vol. II: deductive systems
Reading, Mass.: Addison-Wesley, 1990
519.7 MAN l
Buku Teks  Universitas Indonesia Library
cover
Manna, Zohar
The logical basis for computer programming; Vol. I: deductive reasoning
Reading, Mass.: Addison-Wesley, 1985
519.7 MAN l
Buku Teks  Universitas Indonesia Library
cover
Manna, Zohar
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 ... "
Philadelphia: Society for Industrial and Applied Mathematics, 1980
e20450584
eBooks  Universitas Indonesia Library