Detail Cantuman
Advanced Search
Text
Verified Functional Programming in Agda
Tidak Tersedia Deskripsi
Ketersediaan
| E139 | Perpustakaan Raharja | Tersedia |
Informasi Detil
| Judul Seri |
-
|
|---|---|
| No. Panggil |
005.262 AAR a
|
| Penerbit | ACM : The University of Iowa., 2016 |
| Deskripsi Fisik |
-
|
| Bahasa |
Inggris
|
| ISBN/ISSN |
978-1-97000-125-9
|
| Klasifikasi |
005.262
|
| Tipe Isi |
-
|
| Tipe Media |
-
|
|---|---|
| Tipe Pembawa |
-
|
| Edisi |
-
|
| Subyek | |
| Info Detil Spesifik |
-
|
| Pernyataan Tanggungjawab |
-
|
Versi lain/terkait
Tidak tersedia versi lain






