Proses verifikasi piranti lunak basis data dengan Lingu dan Theorem Prover HOL
Daftar isi: Bab 1 Pendahuluan Bab 2 Verifikasi program Bab 3 Perkenalan HOL dan Meta-Languange Bab 4 Cara pembuktian dengan HOL Bab 5 LINGU dan LINGUSQL Bab 6 Penulisan skrip LINGU Bab 7 Stu…
availability1
Add to basket
Search Result
Found 1 from your keywords: Author : "HERU Suhartanto [et. al]"
Query took 0.00044 second(s) to complete
Computer science, information & general works
Philosophy & psychology
Religion
Social sciences
Language
Pure Science
Applied sciences
Arts & recreation
Literature
History & geography