Logic in Computer Science
| Author | : Michael Huth |
| Publisher | : |
| Total Pages | : 427 |
| Release | : 2004-08-26 |
| ISBN-10 | : 052154310X |
| ISBN-13 | : 9780521543101 |
| Rating | : 4/5 (101 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.
