Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 1990 dokumen yang sesuai dengan query
cover
Earnshow, J.D., author
Kingsway, London : Pitman, 1970
005.13 EAR c
Buku Teks  Universitas Indonesia Library
cover
Brailsford, D.F., author
Chichester: Ellis Horwood, 1979
001.642 4 BRA i
Buku Teks  Universitas Indonesia Library
cover
Randell, B., author
Berkeley : Academic Press, 1964
005.13 RAN a
Buku Teks  Universitas Indonesia Library
cover
Grogono, Peter, author
Reading Mass: Addison-Wesley, 1982
005.133 GRO p (1)
Buku Teks  Universitas Indonesia Library
cover
Harrington, Steven, author
New York: McGraw-Hill, 1987
006.6 HAR c (1)
Buku Teks  Universitas Indonesia Library
cover
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
cover
Maynard, Jeff, author
London: Butterworths, 1972
658.910 1 MAY c
Buku Teks  Universitas Indonesia Library
cover
Maynard, Jeff, author
London: Butterworths, 1972
658.05 M 45 c
Buku Teks  Universitas Indonesia Library
cover
Wimmert, Robert J., author
New York: Holt, Rinehart and Winston, 1969
651.8 WIM c
Buku Teks  Universitas Indonesia Library
cover
Breckner, David, author
Englewood Cliffs, NJ: Prentice-Hall, 1970
005.1 BRE p
Buku Teks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>