IIITB Library

Your cart is empty.

Your search returned 4 results. Subscribe to this search

Unhighlight Highlight
|
Logic in computer science: Modelling and reasoning about systems

by Huth, M.

Edition: 2nd ed. Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge Cambridge University Press 2004Availability: Items available for loan: [Call number: 005.1015113 HUT] (1).

Add to cart
Secure Communicating Systems: Design, Analysis, and Implementation

by Huth, M. R. A.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge Cambridge University Press 2001Availability: Items available for loan: [Call number: 005.8 HUT] (1).

Add to cart
Logic in computer science: Modelling and reasoning about systems

by Huth, M | Ryan, M.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi Cambridge university Press 2004Availability: Items available for loan: [Call number: 005.115 HUT] (1).

Add to cart
Logic in computer science: Modelling and reasoning about systems

by Huth, M.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi Cambridge University Press 2004Availability: Items available for loan: [Call number: 005.1 HUT] (1).

Add to cart

International Institute of Information Technology, Bangalore
26/C, Electronics City, Hosur Road,Bengaluru-560100 Contact Us
Koha & OPAC at IIITB deployed by Bhargav Sridhar & Team.

Powered by Koha