Ditemukan 78 dokumen yang sesuai dengan query
Dwi Teguh Priyantini, author
Pada pengembangan sistem, dibutuhkan sebuah mekanisme untuk menjamin bahwa sistem tersebut berjalan dengan benar tanpa error atau rsquo;bug rsquo;. Sejauh ini, hal yang biasa dilakukan adalah dengan testing, tetapi hal ini sulit dilakukan untuk mencakup semua kemungkinan. Untuk sistem yang membutuhkan tingkat correctness yang tinggi, seperti misalnya pada hardware ,...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2017
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
Chicago: Aldine-Atherton, 1971
510 SOU
Buku Teks Universitas Indonesia Library
Abdul Malik
John Wiley & Sons: Litho Eng Wah, 1973
515 ABD i
Buku Teks Universitas Indonesia Library
Brumfiel, Charles Francis, 1914-, author
Reading, Mass.,: Addison-Wesley, 1962
510 BRU f
Buku Teks Universitas Indonesia Library
New York: Harper & Row, 1965
511 ARI
Buku Teks Universitas Indonesia Library
Spaniol, Otto, 1945-, author
Chichester: John Wiley & Sons, 1981
621.381 95 SPA c
Buku Teks Universitas Indonesia Library
Craig, Gloria P., author
Philadelphia: Lippincott, 2005
615 CRA c
Buku Teks Universitas Indonesia Library
Kee, Joyce LeFever, author
Philadelphia: W.B. Saunders, 2000
615.14 Kee c
Buku Teks Universitas Indonesia Library
Brumfiel, Charles Francis, 1914-, author
Reading, Mass. : Addison-Wesley , 1963
510 BRU i
Buku Teks Universitas Indonesia Library
Tokyo: Maruzen Comp. , 1960
510 FIN
Buku Teks Universitas Indonesia Library