Detail Cantuman
Advanced Search
Book
Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings
- Bagikan:
Link PDF - http://bit.ly/2kNsTUB
Ketersediaan
| E190027 | 004.24 DIL c | Perpustakaan Raharja | Tersedia |
Informasi Detil
| Judul Seri |
-
|
|---|---|
| No. Panggil |
004.24 DIL c
|
| Penerbit | Springer International : Switzerland., 2019 |
| Deskripsi Fisik |
549 p.
|
| Bahasa |
Inggris
|
| ISBN/ISSN |
9783030255428
|
| Klasifikasi |
004.24
|
| Tipe Isi |
-
|
| Tipe Media |
-
|
|---|---|
| Tipe Pembawa |
-
|
| Edisi |
-
|
| Subyek |
-
|
| Info Detil Spesifik |
-
|
| Pernyataan Tanggungjawab |
-
|
Versi lain/terkait
Tidak tersedia versi lain