EBOOK

Layanan ebook yang disediakan oleh Perpustakaan Universitas Gunadarma

Fundamental Proof Methods in Computer Science: A Computer-Based Approach

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