Logic in Computer Science: Modelling and Reasoning about Systems

by: Michael Huth, Mark Ryan

(30 August 2004)

View FullText article

Amazon.ca, Amazon.de, Amazon.fr, Amazon.jp, Amazon.co.uk, Amazon.com, WorldCat

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

leonardo, rob_quill, BastianSpanneberg

Find related articles with these CiteULike tags

2004, _book, logic, no-tag

Abstract

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8

@book{citeulike:2226229, abstract = {{The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8}}, author = {Huth, Michael and Ryan, Mark }, citeulike-article-id = {2226229}, howpublished = {Paperback}, isbn = {052154310X}, keywords = {logic}, month = {August}, posted-at = {2008-01-13 15:31:58}, priority = {0}, publisher = {{Cambridge University Press}}, title = {Logic in Computer Science: Modelling and Reasoning about Systems}, url = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&path=ASIN/052154310X}, year = {2004} }

RIS record

TY - BOOK ID - citeulike:2226229 L3 - citeulike-article-id:2226229 TI - Logic in Computer Science: Modelling and Reasoning about Systems PB - {Cambridge University Press} SN - 052154310X N2 - {The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8} KW - logic AU - Huth, Michael AU - Ryan, Mark PY - 2004/08/30/ UR - http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/052154310X ER -

RIS BibTeX