Ditemukan 2 dokumen yang sesuai dengan query
I.S.W.B. Prasetya, author
Otomasi dari verifikasi formal sebuah sistem membutuhkan mekanisasi logika yang menjadi basis metoda verifikasi yang digunakan. Logika yang dibutuhkan sering kali cukup rumit dan sebetulnya merupakan komposisi dari beberapa logika lainnya. Ini memberikan komplikasi ekstra karena sekarang aspek seperti hirarki antar logika dan modularitasnya merupakan aspek yang juga erlu diperhatikan....
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2001
JIKT-1-2-Okt2001-35
Artikel Jurnal Universitas Indonesia Library
Marpaung, Daniel Adieu Manuturi, author
Salah satu transportasi laut yang dapat memasuki daerah pedalaman dan area terpencil ialah angkutan laut Ro-Ro Roll On-Roll Off. Sarana angkutan laut Ro-Ro dan sejenisnya memiliki teknologi yang mampu memfasilitasi kebutuhan masyarakat, dikarenakan mempunyai draft minimum serta multifungsi. Pola ini dapat dikembangkan dan bersaing dengan transportasi lain, yang dimana memiliki...
Depok: Fakultas Teknik Universitas Indonesia, 2018
S-Pdf
UI - Skripsi Membership Universitas Indonesia Library
