Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2.
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. by
  • Huth, Michael,14510
  • Ryan, Mark,14512
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge [U.K.] ; New York : Cambridge University Press, 2004
Online access:
Availability: Not available: School of Engineering: Not for loan (1).

Add to cart
Pages

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India