Your search returned 2 results.

Results
	1.	Logic in computer science : modelling and reasoning about systems Michael Huth, Mark Ryan. by Huth, Michael, 1962- Ryan, Mark, 1962- Edition: 2nd edition Publication details: Delhi Cambridge University Press, 2016 Availability: Items available for loan: Central Library, IISER Bhopal (7)Call number: 004.0151 H971L, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (3)Call number: 004.0151 H971L, ... (1 votes) Add to cart (remove)
	2.	Dynamic logic David Harel, The Weizmann Institute, Dexter Kozen, Cornell University, Jerzy Tiuryn, University of Warsaw. by Harel, David Kozen, Dexter Tiuryn, Jerzy Series: Foundations of computing Publication details: Cambridge: The MIT Press, 2000 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.015113 H222D. Add to cart (remove)

Refine your search