Computing Publications

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

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

Michael Huth, Mark Ryan

Book
2005
Cambridge University Press
ISBN 7111160533
Notes

Chinese language edition for the People's Republic of China, 427pp.

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

BibTEX file for the publication
 

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