An edition of Logic in Computer Science (1999)
Modelling and Reasoning about Systems
By Mark Ryan
Publish Date
August 30, 2004
Publisher
Cambridge University Press
Language
eng
Pages
405