Textbook

Books Price Comparison (Including Amazon) - Guaranteed Lowest Prices on Books


 

Logic in Computer Science: Modelling and Reasoning about Systems

 
 
 
 
Logic in Computer Science: Modelling and Reasoning about Systems
Author: Michael Huth - Mark Ryan
ISBN 13: 9780521543101
ISBN 10: 52154310
Edition: 2
Publisher: Cambridge University Press
Publication Date: 2004-08-30
Format: Paperback
Pages: 440
List Price: $89.99
 
 

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