Tahun : 2012 Pengarang : Eric Lehman, F Thomson Leighton, and Albert R Meyer Penerbit : Google Inc. Ket : This text explains how to use mathematical models and methods to analyze problems that arise in computer science. Proofs play a central role in this work because
the authors share a belief with most mathematicians that proofs are essential for
genuine understanding. Proofs also play a growing role in computer science; they
are used to certify that software and hardware will always behave correctly, something that no amount of testing can do Ketegori : DISCRETE MATHEMATICS