Back to Search
ISBN 9780511810275 is currently unpriced. Please contact us for pricing.
Available options are listed below:

Logic in Computer Science: Modelling and Reasoning about Systems

AUTHOR Ryan, Mark; Huth, Michael
PUBLISHER Cambridge University Press (06/05/2012)
PRODUCT TYPE eBook (Open Ebook)

Description
Show More
Product Format
Product Details
ISBN-13: 9780511810275
ISBN-10: 051181027X
Content Language: English
Edition Number: 0002
More Product Details
Carton Quantity: 0
Feature Codes: Bibliography
Country of Origin: US
Subject Information
BISAC Categories
Computers | Languages - General
Dewey Decimal: 005.101
Descriptions, Reviews, Etc.

Author: Ryan, Mark
Mark Ryan is author of the critically acclaimed biography of former England football manager, Fabio Capello: The Boss (JR Books 2008) and of Chariots of Fire sprinter Harold Abrahams in Running with Fire (The Robson Press 2011), described by Athletics Weekly as: 'The best athletics biography I've ever read, in sixty years in the sport'. He is also a freelance sports journalist for the Mail on Sunday.
Show More
eBook
Warning - this is a non-refundable eBook!