Ditemukan 41 dokumen yang sesuai dengan query
Kurtz, David C.
New York: McGraw-Hill, 1992
511.3 KUR f
Buku Teks SO Universitas Indonesia Library
Copi, Irving M.
New Jersey: Prentice-Hall, 1979
511.3 COP s
Buku Teks SO Universitas Indonesia Library
Smarandache, Florentin
Phoenix: Hexis, 2005
511.3 SMA m
Buku Teks SO Universitas Indonesia Library
Standley, Gerald B.
Boston: Houghton Mifflin, 1971
511.3 STA n
Buku Teks SO Universitas Indonesia Library
Morash, Ronald P.
New York: Random House, 1987
511.3 MOR b
Buku Teks SO Universitas Indonesia Library
Gemignani, Michael C.
Massachusetts: Addison-Wesley, 1968
510.1 GEM b
Buku Teks SO Universitas Indonesia Library
Dalen, Dirk van
Berlin: Springer-Verlag, 1994
511.3 DAL l
Buku Teks SO Universitas Indonesia Library
Chang, Chin-Liang
New York: Academic Press, 1973
511.3 CHA s
Buku Teks SO Universitas Indonesia Library
Langer, Susanne K.
New York: Dover, 1967
511.3 LAN i
Buku Teks SO Universitas Indonesia Library
Sulistomo Adie Suwarno
"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 model PARADIGM untuk ATM diterjemahkan menjadi pseudocode dalam bahasa Propositional Linear Temporal Logic (PLTL) dengan bantuan algoritma penerjemah. "
Depok: Universitas Indonesia, 2005
S27598
UI - Skripsi Membership Universitas Indonesia Library
