Hasil Pencarian

Ditemukan 1990 dokumen yang sesuai dengan query

Earnshow, J.D., author

Computer programming in Algol

Kingsway, London : Pitman, 1970

005.13 EAR c

Buku Teks Universitas Indonesia Library

Brailsford, D.F., author

Introductory algol 68 programming

Chichester: Ellis Horwood, 1979

001.642 4 BRA i

Buku Teks Universitas Indonesia Library

Randell, B., author

ALGOL 60 implementation: the translation and use of Algol 60 programs on a computer

Berkeley : Academic Press, 1964

005.13 RAN a

Buku Teks Universitas Indonesia Library

Grogono, Peter, author

Problem solving and computer programming

Reading Mass: Addison-Wesley, 1982

005.133 GRO p (1)

Buku Teks Universitas Indonesia Library

Harrington, Steven, author

Computer graphics: programming approach

New York: McGraw-Hill, 1987

006.6 HAR c (1)

Buku Teks Universitas Indonesia Library

Manna, Zohar, author

Lectures on the logic of computer programming

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