Your search returned 2 results.

Sort
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
Availability: Not available: School of Engineering: Not for loan (1).

Pages

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