Logic in Computer Science PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Logic in Computer Science PDF full book. Access full book title Logic in Computer Science by Michael Huth. Download full books in PDF and EPUB format.

Logic in Computer Science

Logic in Computer Science PDF Author: Michael Huth
Publisher:
ISBN: 9780521543101
Category : Computers
Languages : en
Pages : 427

Get Book Here

Book Description
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.