Your search returned 2 results.

Results
	1.	Principles of model checking Christel Baier, Joost-Pieter Katoen. by Baier, Christel Katoen, Joost-Pieter Publication details: Cambridge, Massachusetts The MIT Press 2008 Availability: Items available for loan: Central Library, IISER Bhopal (7)Call number: 004.24 B149P, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (4)Call number: 004.24 B149P, ... Add to cart (remove)
	2.	Ripples in spacetime : Einstein, gravitational waves, and the future of astronomy / Govert Schilling. by Schilling, Govert [author.] Edition: First Harvard University Press paperback edition. Publisher: Cambridge, Massachusetts : The Belknap Press of Harvard University Press, 2019 Availability: No items available. Add to cart (remove)

Refine your search