ℹ️ Informasi Berkas Arsip: Metadata koleksi ini tersedia di database, namun berkas fisik --adamchlipa-1555-1-cpdt.pdf belum disalin ke direktori penyimpanan server (./files/disk1/ atau ./files/uploads/). Anda tetap dapat membaca/mencetak lembar katalog ini atau mengunggah berkas PDF melalui menu Edit Koleksi.

Certified Programming with Dependent Types

Penulis: Adam Chlipala • Identifier: --adamchlipa-1555
Certified Programming with Dependent Types
← Kembali ke Detail Koleksi