Detail Cantuman
Advanced Search
Text
EBOOK: Verified Functional Programming in Agda
- Bagikan:
Tidak Tersedia Deskripsi
Ketersediaan
Tidak ada salinan data
Informasi Detil
| Judul Seri |
-
|
|---|---|
| No. Panggil |
005.1 AAR v
|
| Penerbit | ACM Books : ., 2016 |
| Deskripsi Fisik |
284 hlm
|
| Bahasa |
English
|
| ISBN/ISSN |
978-1-97000-125-9
|
| Klasifikasi |
005.1
|
| Tipe Isi |
-
|
| Tipe Media |
-
|
|---|---|
| Tipe Pembawa |
-
|
| Edisi |
Ed. 1
|
| Subyek | |
| Info Detil Spesifik |
-
|
| Pernyataan Tanggungjawab |
-
|
Versi lain/terkait
Tidak tersedia versi lain