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 |