Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems (ISBN-13: 9780511810275 and ISBN-10: 051181027X), written by authors Mark Ryan, Michael Huth, was published by Cambridge University Press in 2012. With an overall rating of 4.4 stars, it's a notable title among other books. You can easily purchase or rent Logic in Computer Science: Modelling and Reasoning about Systems (Printed Access Code) from BooksRun, along with many other new and used books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.51.