DaftarIsitemplate

Call Number

005.015 Hut l

Title

Logic in computer science: modelling and reasoning about systems

Author

Huth, Michael;

Publisher

Cambridge University Press, 2000

Subject

Computer logic

Location