Verification of sequential and concurrent programs
by Krzysztof R. Apt; Ernst-Rudiger Olderog; David Gries (Springer-Verlag, 1991)
|
| Jenis Koleksi : | Buku Teks SO |
| No. Panggil : | 005.1 APT v |
| Entri utama-Nama orang : | |
| Entri tambahan-Nama orang : | |
| Subjek : | |
| Penerbitan : | New York: Springer-Verlag, 1991 |
| Sumber Pengatalogan | |
| ISBN | 0387975322 |
| Tipe Konten | |
| Tipe Media | |
| Tipe Carrier | |
| Edisi | |
| Deskripsi Fisik | xvi, 441 p. ; 24 cm. |
| Catatan Bibliografi | Bibliography in each chapter |
| Catatan Seri | Text and monographs in computer science |
| Catatan Umum | |
| Catatan Versi Asli | |
| Lembaga Pemilik | Universitas Indonesia |
| Lokasi | Perpustakaan UI, Lantai 2 |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| 005.1 APT v | 01-14-26822 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 507 |
