Welcome to the Online Catalogue, 

Central Library

Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur
       
                       Accredited by NAAC with A++  Grade 

Your search returned 8 results.

Not what you expected? Check for suggestions
Sort
Results
Logic in computer science: modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Edition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2005Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG).

Logic in computer science : modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Edition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2007Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG).

Logic in computer science : modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Edition: 2Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press 2007Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG).

Logic in computer science: modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2005Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG).

Logic in computer science: modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2005Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG).

Logic in computer science: modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2005Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG).

Logic in computer science: modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2005Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG).

Logic in computer science: modelling and reasoning about systems

by Michael Huth | Mark Ryan.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2005Availability: Items available for loan: Central Library (1)Call number: 005.1015113 HUT(LOG).

Pages
Visitor count :