Logic In Computer Science: Modelling And Reasoning About Systems - Huth, Michael; RYAN, MARK (NEW DELHI, 2012)
Keywords: Computers Engineering