Ditemukan 10799 dokumen yang sesuai dengan query
Farrell, Joyce
Boston: Course Technology Cengage Learning, 2013
005.115 FAR b
Buku Teks SO Universitas Indonesia Library
Farrell, Joyce
Singapore: Course Technology Cengage Learning, 2013
005.13 FAR b
Buku Teks SO Universitas Indonesia Library
Marcovitz, Alan B.
"CD-ROM contains: Altera Max+Plus II 9.23 Student edition -- Yoeric's Winbreadboard.
"
Boston: McGraw-Hil, 2002
621MARI002
Multimedia Universitas Indonesia Library
Marcovitz, Alan B.
Boston: McGraw-Hill, 2010
621.395 MAR i
Buku Teks SO Universitas Indonesia Library
Marcovitz, Alan B.
Boston : McGraw-Hill, 2005
621.395 MAR i
Buku Teks SO Universitas Indonesia Library
Marcovitz, Alan B.
Boston : McGraw-Hill, 2002
621.395 MAR i
Buku Teks SO Universitas Indonesia Library
Mowle, Frederic J.
Reading, MA: Addison-Wesley, 1976
001.640 MOW s
Buku Teks SO Universitas Indonesia Library
Almaini, A.E.A. (Adib E.A.), 1945-
New York: Prentice-Hall, 1989
621.395 ALM e
Buku Teks Universitas Indonesia Library
Downward, Michael
London : Taylor and Francis, 1998
005.1 DOW l
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
