Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 42 dokumen yang sesuai dengan query
cover
Standley, Gerald B., author
Boston: Houghton Mifflin, 1971
511.3 STA n
Buku Teks  Universitas Indonesia Library
cover
Morash, Ronald P.
New York: Random House, 1987
511.3 MOR b
Buku Teks  Universitas Indonesia Library
cover
Gemignani, Michael C., author
Massachusetts: Addison-Wesley, 1968
510.1 GEM b
Buku Teks  Universitas Indonesia Library
cover
Dalen, Dirk van
Berlin: Springer-Verlag, 1994
511.3 DAL l
Buku Teks  Universitas Indonesia Library
cover
Chang, Chin-Liang
New York: Academic Press, 1973
511.3 CHA s
Buku Teks  Universitas Indonesia Library
cover
Langer, Susanne
New York: Dover, 1967
511.3 LAN i
Buku Teks  Universitas Indonesia Library
cover
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
cover
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
cover
Greenstein, Carol Horn, author
New York: Van Nostrand Reinhold, 1978
R 511.303 GRE d
Buku Referensi  Universitas Indonesia Library
cover
Restall, Greg, author
New York: Routledge , 2000
160 RES i
Buku Teks  Universitas Indonesia Library
<<   1 2 3 4 5   >>