Ditemukan 4928 dokumen yang sesuai dengan query
Hogger, Christopher John
London: Academic Press, 1984
004.61 HOG i
Buku Teks SO Universitas Indonesia Library
Maier, David
Menlo Park: The Benjamin Cumming Pub., 1988
005.133 MAI c
Buku Teks SO Universitas Indonesia Library
Copi, Irving M.
New York, NY: Macmillan, 1961
160 COP i
Buku Teks SO Universitas Indonesia Library
Copi, Irving M.
New York: Macmillan, 1972
160 COP i
Buku Teks SO Universitas Indonesia Library
Van Hentenryck, Pascal
Cambridge, UK: MIT Press, 1989
006.3 VAN c
Buku Teks SO Universitas Indonesia Library
Clark, K.L.
Englewood Cliffs, NJ: Prentice-Hall, 1984
005.133 CLA m
Buku Teks SO Universitas Indonesia Library
Manna, Zohar
"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."
Philadelphia: Society for Industrial and Applied Mathematics, 1980
e20450584
eBooks Universitas Indonesia Library
Fitting, Melvin
New York : Oxford University Press, 1987
005.73 FIT c
Buku Teks SO Universitas Indonesia Library
Grayling, A.C.
Oxford: Blackwell, 1997
160 GRA i
Buku Teks SO Universitas Indonesia Library
Tidman, Paul
Belmont: Wadsworth, 1999
160 TID l
Buku Teks SO Universitas Indonesia Library
