| Your search for 4495 returns 1628 document(s) |
| Integrasi model checking dengan interactive theorem proving: pembuatan skrip pembuktian secara otomatis/ M. Eva Magdalena |
|
Author: Eva Magdalena M.; | Call Number: SK-0331 | Edition: I.S.W.B.Prasetya,Ph.D | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455 |
|
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking |
|
Author: Clarke, Edmund M.; | Call Number: 004.21 Cla m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
|
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On Strings in Software Model Checking (19-30) |
|
Author: Hossein Hojjat
Philipp Rummer
Ali Shamakhi; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem proverhol/ Octavianus Adrianto |
|
Author: Octavianus Adriato; | Call Number: SK-0382 | Edition: Wishnu Prasetya | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pemrosesan teks: penyusunan tesaurus secara otomatis dalam dalam bahasa Indonesia dengan analisis kluster hubungan lengkap (complete link)/Renata Magdalena |
|
Author: Renata Magdalena,; | Call Number: SK-0325 | Edition: Zainal Hasibuan | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multi-Valued Symbolic Model-Checking, page 371-408 |
|
Author: M. Chechik, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Type-Based HFL Model Checking Algorithm (136-155) |
|
Author: Youkichi Hosoi
Naoki Kobayashi
Takeshi Stukada; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan Fitur Kamera, Pembangunan Arsitektur Perangkat Lunak, Integrasi Model Kecerdasan Buatan, dan Pembuatan Sistem Deployment Otomatis untuk Sumber Kode Aplikasi CerciCam di Indonesian Medical Education and Research Institute (IMERI) |
|
Author: Nandhika Prayoga; | Call Number: KP-3319 | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result