Logic in Computer Science: Modelling and Reasoning about Systems

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf gptkb:book
gptkbp:author gptkb:Michael_Huth
gptkb:Mark_Ryan
gptkbp:edition second edition
gptkbp:firstPublished 2000
gptkbp:focusesOn gptkb:logic
formal methods
predicate logic
model checking
reasoning about systems
https://www.w3.org/2000/01/rdf-schema#label Logic in Computer Science: Modelling and Reasoning about Systems
gptkbp:ISBN 9780521543101
gptkbp:language English
gptkbp:pages 427
gptkbp:publisher gptkb:Cambridge_University_Press
gptkbp:subject gptkb:logic
computer science
gptkbp:targetAudience graduate students
undergraduate students
gptkbp:usedIn university courses
gptkbp:bfsParent gptkb:Michael_Huth
gptkbp:bfsLayer 6