TIDAK ADA COVER
BUKU
Ketersediaan Fisik
2 dari 2 Eksemplar
Karya umum, komputer, informasi
Formal methods of program verification and specification
Berg, H. K.; Boebert, W. E.; Moher, T. G.
| No. Barcode | Tipe | Lokasi | Status |
|---|---|---|---|
| 86014377 | STD | Perpustakaan Universitas | Tersedia |
| 86014642 | STD | Perpustakaan Universitas | Tersedia |
Keterangan Ketersediaan
Panduan istilah koleksi
Tipe Koleksi:
STD
Standard: Jangka waktu pinjam normal
KPS
Pinjam Singkat: Jangka waktu pinjam terbatas/singkat
Eksemplar:
Jumlah salinan atau unit fisik buku yang tersedia di perpustakaan.