::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

 
Ditemukan 3 dokumen yang sesuai dengan query
cover
Manna, Zohar, author
Reading, Mass.: Addison-Wesley, 1990
519.7 MAN l
Buku Teks  Universitas Indonesia Library
cover
Manna, Zohar, author
Reading, Mass.: Addison-Wesley, 1985
519.7 MAN l
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