Search Result
Save to File
Your search for
52509
returns
3422
document(s)
Pengembangan bahasa dan alat bantu spesifikasi dan verifikasi protokol keamanan/Belawati Wijaya
Author: Belawati Wijaya | Call Number: PRO-2007-25 | Type: Proposal Research (Khusus Dose
Find Similar
|
Add To Favorites
|
Detail in New Window
Ekplorasi representasi dan verifikasi perangkat lunak berbasiskan komponen dalam F-logic, Hal. 546-550
Author: Rakhmad Azhari; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Proses verifikasi prinati lunak basis data dengan lingu dan theorem prover hol
Call Number: 005 Pro | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifikasi protokol autentifikasi Andrew secure RPC dengan proverif/ Pamela Indrajati
Author: Pamela Indrajati; | Call Number: SK-0655 (Softcopy SK-125) Source Code SK-119 | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifikasi program perkalian matriks persegi menggunakan logika hoare
Author: Anggha Satya Nugraha; | Call Number: T-0982 (Softcopy T-0691) Source Code T-0141 | Edition: 2012 | Type: Tesis
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal development of programs and proofs/edited Edger W. Dijkstra
Call Number: 005.1 For | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Applying formal methods to semantic-based decomposition of transactions
Author: Paul Ammann, Sushil Jajodia, and Indrakshi Ray | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal semantics of SQL queries, page 513
Author: Pelagatti, M.N. S. | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Theory of finite automata: with an introduction to formal languages
Author: Carroll, John; | Call Number: 511 Car t | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal methods: state of the art and new directions
Author: Boca, Paul P; | Call Number: 005.131 Boc f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next