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.
BibTEX file for the publication
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.