Ditemukan 3 dokumen yang sesuai dengan query
Manna, Zohar, author
Reading, Mass.: Addison-Wesley, 1990
519.7 MAN l
Buku Teks Universitas Indonesia Library
Manna, Zohar, author
Reading, Mass.: Addison-Wesley, 1985
519.7 MAN l
Buku Teks Universitas Indonesia Library
Manna, Zohar, author
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...
Philadelphia: Society for Industrial and Applied Mathematics, 1980
e20450584
eBooks Universitas Indonesia Library
