Ditemukan 11042 dokumen yang sesuai dengan query
Maynard, Jeff
London: Butterworths, 1972
658.05 M 45 c
Buku Teks Universitas Indonesia Library
Maynard, Jeff
London: Butterworths, 1972
658.910 1 MAY c
Buku Teks Universitas Indonesia Library
Maurer, Ward Douglas
San Francisco: Holden-Day, 1972
001.642 MAU p
Buku Teks Universitas Indonesia Library
Gear, Charles William, 1935-
New York: McGraw-Hill, 1969
004.642 GEA c
Buku Teks Universitas Indonesia Library
Grogono, Peter
Reading Mass: Addison-Wesley, 1982
005.133 GRO p
Buku Teks Universitas Indonesia Library
Harrington, Steven
New York: McGraw-Hill, 1987
006.6 HAR c
Buku Teks Universitas Indonesia Library
Wimmert, Robert J.
New York: Holt, Rinehart and Winston, 1969
651.8 WIM c
Buku Teks 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
Harms, Edward
New York: John Wiley & Sons, 1977
001.6 HAR i
Buku Teks SO Universitas Indonesia Library
Harrington, Steven
New York: McGraw-Hill, 1983
001.553 HAR c
Buku Teks SO Universitas Indonesia Library
