Computing Publications

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

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

Michael Huth, Mark Ryan

Book
2005
Cambridge University Press
ISBN 9-787-11121397-0
Notes

This is the Chinese language translation, not the mainland China edition, of the corresponding English textbook.

BibTEX file for the publication
 

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