ℹ️ 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.
Certiï¬Âed Programming with Dependent Types
Penulis: Adam Chlipala •
Identifier: --adamchlipa-1555
Certiï¬Âed Programming with Dependent Types