Computing Publications

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

Logic in Computer Science: Modelling and reasoning about computer systems (first edition)

Michael Huth, Mark Ryan

Book
2000
Cambridge University Press
ISBN 0521656028
Notes

ISBN: 0521656028 (paperback), ISBN: 0521652006 (hardback), 387pp.

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

BibTEX file for the publication
 

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