Logic in Computer Science
Author | : Michael Huth |
Publisher | : |
Total Pages | : 427 |
Release | : 2004-08-26 |
ISBN-10 | : 052154310X |
ISBN-13 | : 9780521543101 |
Rating | : 4/5 (0X Downloads) |
Book Synopsis Logic in Computer Science by : Michael Huth
Download or read book Logic in Computer Science written by Michael Huth and published by . This book was released on 2004-08-26 with total page 427 pages. Available in PDF, EPUB and Kindle. Book excerpt: Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.