Search Result

Found 910 Document(s) match with the query 90409
Embedding programming logics in hol theorem prover
Author : Ade Azurat, author
Call Number : JIKT-2-1-Mei2002-18
Collection Type : Artikel Jurnal
Location : Universitas Indonesia Library
Embedding programming logics in HOL Theorem prover A. Azurat, I.S.W.B. Prasetya dan S.D. Sierstra
Author : No author
Call Number :
Collection Type : Artikel Jurnal
Location : Universitas Indonesia Library
Formalisasi algoritma aritmatika dan konstruksi terkait pada VHDL dengan HOL theorem prover = Formalization of arithmetic algorithm and the related constructions in VHDL by using HOL theorem prover
Author : Dwi Teguh Priyantini, author
Call Number : T-Pdf
Collection Type : UI - Tesis Membership
Location : Universitas Indonesia Library
Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover hol
Author : No author
Call Number : 005.13 PRO
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
Proses verifikasi piranti lunak menggunakan lingu dan theorem prover HOL pada studi kasus student entrace test
Author : Caroline D. Puspa, author
Call Number : S-Pdf
Collection Type : UI - Skripsi Membership
Location : Universitas Indonesia Library
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem prover hol
Author : Octovianus Andriato, author
Call Number : S26954
Collection Type : UI - Skripsi Membership
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>