Ditemukan 41 dokumen yang sesuai dengan query
Standley, Gerald B., author
Boston: Houghton Mifflin, 1971
511.3 STA n
Buku Teks Universitas Indonesia Library
Gemignani, Michael C., author
Massachusetts: Addison-Wesley, 1968
510.1 GEM b
Buku Teks Universitas Indonesia Library
Sulistomo Adie Suwarno, author
Model PARADIGM untuk Anjungan Tunai Mandiri (ATM) adalah model dari suatu rancangan sistem untuk ATM yang direpresentasikan menjadi himpunan State Transition Diagram (STD). Sebelum diimplementasikan pada komputer, sebuah model dari suatu rancangan sistem sebaiknya terlebih dahulu diterjemahkan menjadi pseudocode agar lebih mudah dibuat koding programnya. Tugas akhir ini membahas bagaimana...
Depok: Universitas Indonesia, 2005
S27598
UI - Skripsi (Membership) Universitas Indonesia Library
Ummu Maemunah, author
Pengujian sistem harus dilakukan agar terhindar dari hal-hal yang tidak diinginkan. Salah satu metode pengujian rancangan sistem adalah model checking. Pada tugas akhir ini model yang digunakan untuk menyajikan rancangan sistem pada model checking adalah struktur Kripke dan spesifikasi sistem ditulis dalam bentuk formula computational tree logic yang merupakan salah...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2006
S27633
UI - Skripsi (Membership) Universitas Indonesia Library
Greenstein, Carol Horn, author
New York: Van Nostrand Reinhold, 1978
R 511.303 GRE d
Buku Referensi Universitas Indonesia Library
Restall, Greg, author
New York: Routledge , 2000
160 RES i
Buku Teks Universitas Indonesia Library
Amsterdam: North-Holland Pub. Co, 1978
R 511.3 HAN
Buku Referensi Universitas Indonesia Library
Ben-Ari, Mordechai, author
Mathematical logic for computer science is a mathematics textbook with theorems and proofs. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student...
London: Springer, 2012
e20407627
eBooks Universitas Indonesia Library
Smarandache, Florentin, author
Phoenix: Hexis, 2005
511.3 SMA m
Buku Teks Universitas Indonesia Library
Chang, Chin-Liang, author
New York: Academic Press, 1973
511.3 CHA s
Buku Teks Universitas Indonesia Library