Beranda
Koleksi
Buku
Buku Klasik
Buku MPKT B
Buku Referensi
Buku Teks
UI-ana
UI - Disertasi (Membership)
UI - Disertasi (Open)
UI - Laporan Penelitian
UI - Makalah dan Kertas Kerja
UI - Pidato
UI - Publikasi
UI - Skripsi (Membership)
UI - Skripsi (Open)
UI - Tesis (Membership)
UI - Tesis (Open)
UI - Tugas Akhir
Artikel Jurnal
eBooks
Majalah, Jurnal, Buletin
Multimedia
Naskah
Prosiding
Koleksi Terbaru
Database Online (EZ-Poxy)
Tamu
Login
Usulan Pengadaan
Permintaan Informasi
Tanya Pustakawan
Favorit Saya
Saran dan Keluhan
Buku Tamu
Bebas Pustaka
Akun Saya
Favorit Saya
Beranda
/
Hasil Pencarian
::
Hasil Pencarian ::
Simpan CSV
::
Kembali
Hasil Pencarian
Ditemukan
1
dokumen yang sesuai dengan query
Anderson, Robert B., author
Proving programs correct
New York: John Wiley & Sons, 1979
005.3 AND p
Buku Teks
Universitas Indonesia Library
Cari yang mirip
Tambahkan ke Favorit
