Search Result

Found 183810 Document(s) match with the query 124339
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
Heuristic search sebagai alternatif pelacakan dan implementasinya dalam prolog untuk aplikasi theorem proving
Author : Sjarif Abdat, author
Call Number : S27224
Collection Type : UI - Skripsi Membership
Location : Universitas Indonesia Library
Integrasi model cheking dengan interactive theorem proving pembuatan skrip pembuktian secara otomatis
Author : Eva Magdalena M., author
Call Number : S26968
Collection Type : UI - Skripsi Membership
Location : Universitas Indonesia Library
Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings
Author : No author
Call Number : e20410089
Collection Type : eBooks
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
<<   1 2 3 4 5   >>