Verification of sequential and concurrent programs
by Krzysztof R. Apt; Ernst-Rudiger Olderog; David Gries (Springer-Verlag, 1991)
|
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: | |
Catatan Seri: | Text and monographs in computer science |
Catatan Umum: | |
Catatan Versi Asli: | |
Deskripsi Fisik: | xvi, 441 p. ; 24 cm. |
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 |