Your search returned 4 results.

Results
	1.	Mathematical logic through Python / Yannai A. Gonczarowski, Harvard University, Noam Nisan, Hebrew University of Jerusalem. by Gonczarowski, Yannai A, 1981- [author.] Nisan, Noam [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2022 Online access: Click here to access online Availability: Items available for loan: Central Library (1). Place hold Add to cart (remove)
	2.	Program logics for certified compilers / Andrew W. Appel [and seven others]. by Appel, Andrew W, 1960- [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2014 Online access: Click here to access online Availability: Items available for loan: Central Library (1). Place hold Add to cart (remove)
	3.	Temporal logics in computer science : finite-state systems / Stéphane Demri, Valentin Goranko, Martin Lange. by Demri, Stéphane P, 1967- [author.] Goranko, Valentin [author.] Lange, Martin [author.] Series: Cambridge tracts in theoretical computer science ; 58. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Qualitative Spatial and Temporal Reasoning. by Ligozat, G�erard Material type: Text; Format: available online ; Literary form: Not fiction Publication details: London, UK : Hoboken, N.J. : ISTE ; Wiley, 2012 Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2022- NLU Meghalaya. All Rights Reserved. || Implemented and Customized by

OPAC Visitors

Powered by Koha