Computing Publications

Publications Home » Logic in Computer Science: modell...

Logic in Computer Science: modelling and reasoning about systems (second edition)

Michael Huth, Mark Ryan

Book
2004
Cambridge University Press
ISBN 052154310X
Notes

Mass-printing license for Indian sub-continent operative, Portuguese language edition and online e-publishing licenses in preparation, 440pp.

http://www.cs.bham.ac.uk/research/lics/

BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.