::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Manna, Zohar, author

Reading, Mass.: Addison-Wesley, 1990

519.7 MAN l

Buku Teks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

Manna, Zohar, author

Reading, Mass.: Addison-Wesley, 1985

519.7 MAN l

Buku Teks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

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

• Cari yang mirip
• Tambahkan ke Favorit
• Abstrak