Book
Certiï¬Âed Programming with Dependent Types
| Identifier | --adamchlipa-1555 |
|---|---|
| Penulis / Pengarang | Adam Chlipala |
| Kata Kunci | Certiï¬Âed Programming with Dependent Types |
| Tanggal Publikasi | 21 Apr 2019 |
| Bahasa | Bahasa Inggris |
| Abstrak / Deskripsi | Certiï¬Âed Programming with Dependent Types |
Attached Files / Download (1)
| No | Nama Berkas | Format | Ukuran | Aksi |
|---|---|---|---|---|
| 1 | cpdt.pdf | application/pdf | 1,7 MB | ⬇️ Buka / Download |
Comments & Discussion (0)
Belum ada komentar untuk koleksi ini. Jadilah yang pertama berdiskusi!