Construction of Trustworthy Software Using Formal Methods First Year Research Report
Belawati H. Widjaja;
(Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1998)
|
 LP-Belawati H Widjaja.pdf :: Unduh
|
| Jenis Koleksi : | UI - Laporan Penelitian |
| No. Panggil : | LP-pdf |
| Entri utama-Nama orang : | |
| Entri tambahan-Nama badan : | |
| Penerbitan : | Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1998 |
| Sumber Pengatalogan: | LibUI ind rda |
| Tipe Konten: | text |
| Tipe Media: | computer |
| Tipe Carrier: | online resource |
| Deskripsi Fisik: | |
| Catatan Umum: | |
| Lembaga Pemilik: | Universitas Indonesia |
| Lokasi: | Perpustakaan UI, Lantai 3 |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| LP-pdf | 09-21-787325858 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 20513005 |
