Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover hol
oleh Heru Suhartanto [and others] (Fakultas Ilmu Komputer Universitas Indonesia, 2007)
|
No. Panggil : | 005.13 PRO (1) |
Entri tambahan-Nama orang : | |
Subjek : | |
Penerbitan : | Jakarta: Fakultas Ilmu Komputer Universitas Indonesia, 2007 |
Sumber Pengatalogan: | LibUI ind rda |
ISBN: | 9789791421027 |
Tipe Konten: | text |
Tipe Media: | unmediated |
Tipe Carrier: | volume |
Edisi: | |
Catatan Seri: | |
Catatan Umum: | |
Catatan Versi Asli: | |
Deskripsi Fisik: | xiv, 187 pages : illustrations ; 22 cm |
Lembaga Pemilik: | Universitas Indonesia |
Lokasi: | Perpustakaan UI, Lantai 2 |
No. Panggil | No. Barkod | Ketersediaan |
---|---|---|
005.13 PRO (1) | 01-13-018439 | TERSEDIA |
005.13 PRO (1) | 01-13-018440 | TERSEDIA |
005.13 PRO (1) | 01-13-018441 | TERSEDIA |
Ulasan: |
Tidak ada ulasan pada koleksi ini: 121010 |