Publications Home » Logic in Computer Science: modell...
Logic in Computer Science: modelling and reasoning about systems (Portuguese language edition)
Michael Huth, Mark Ryan
- Book
- 2008
- Cambridge University Press
- ISBN 9-788-521-616108
BibTEX file for the publication
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.