Your search returned 3 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 (6)Call number: 004.0151 H971L, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (3)Call number: 004.0151 H971L, ... Not available: Central Library, IISER Bhopal: Checked out (1). 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)
	3.	Process mining : Data science in action by Wil M. P. van der Aalst. by Aalst, Wil van der Edition: 2nd ed. Publication details: Berlin: Spinger-Verlag, 2016 Availability: Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)

Refine your search