Layanan ebook yang disediakan oleh Perpustakaan Universitas Gunadarma
| Judul: | : | Fundamental Proof Methods in Computer Science: A Computer-Based Approach |
|---|---|---|
| ISBN: | : | 9780262035538 |
| Bahasa: | : | Inggris |
| DDC: | : | |
| Kepengarangan: | : | Konstantine Arkoudas; David Musser |
| Edisi: | : | |
| Tempat Terbit: | : | England |
| Penerbit: | : | The MIT Press |
| Tahun Terbit: | : | 2017 |
| Luas Bahan: | : | xxvi + 1223 hlm. |
| Ilustrasi: | : | |
| Dimensi: | : | |
| Seri: | : | |
| Catatan: | : | |
| Bibliografis: | : | |
| Keyword: | : | proof methods |