Lectures on the logic of computer programming
by Zohar Manna (Society for Industrial and Applied Mathematics, 1980)
|
| 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. |
 Lectures on the logic of computer programming.pdf :: Unduh
|
| No. Panggil : | e20450584 |
| Entri utama-Nama orang : | |
| Subjek : | |
| Penerbitan : | Philadelphia: Society for Industrial and Applied Mathematics, 1980 |
| Sumber Pengatalogan: | LibUI eng rda |
| Tipe Konten: | text |
| Tipe Media: | computer |
| Tipe Pembawa: | online resources |
| Deskripsi Fisik: | iv, 49 pages : illustration |
| Tautan: | http://portal.igpublish.com/iglibrary/search/SIAMB0000170.main.html? |
| Lembaga Pemilik: | |
| Lokasi: |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| e20450584 | 02-17-209537806 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 20450584 |
