Ditemukan 303 dokumen yang sesuai dengan query
Auslander, David M., author
Englewood Cliffs, NJ: Prentice-Hall, 1990
629.895 AUS r
Buku Teks Universitas Indonesia Library
Durr, Michael, author
Jakarta: Erlangga, 1991
005.1 DUR j
Buku Teks Universitas Indonesia Library
Luluk Tri Wulandari, author
2015
MK-Pdf
UI - Makalah dan Kertas Kerja 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
O`Hara, Liz, author
Indianapolis, IN: IDG Books Worldwide, 1999
005.268 OHA p
Buku Teks Universitas Indonesia Library
Filman, Robert E., author
New York: McGraw-Hill, 1984
004 FIL c
Buku Teks Universitas Indonesia Library
New York: McGraw-Hill, 1979
004 PRO (III)
Buku Teks Universitas Indonesia Library
Gear, C. William (Charles William), 1935-, author
New York: McGraw-Hill, 1985
004.16 GEA c
Buku Teks Universitas Indonesia Library
Leventhal, Lance A
Englewood Cliffs, NJ: Prentice-Hall, 1987
629.895 Lev m
Buku Teks Universitas Indonesia Library
Hemmerle, William J., author
Waltham, Mass.: Blaisdell, 1967
510.783 HEM s (1)
Buku Teks Universitas Indonesia Library