IMSc Library catalog › Results of search for 'ccl=su:"Operating systems"'

Your search returned 1061 results.

Not what you expected? Check for suggestions

			Handbook of Model Checking by Clarke, Edmund M \| Bloem, Roderick \| Henzinger, Thomas A \| Veith, Helmut. Edition: 1st ed. 2018.Material type: Text;Language: English; Literary form: Not fiction Language: English Publication details: Switzerland Springer Nature 2018Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 CLA. Lists: New Arrivals (06 June 2022). Place hold Log in to add tags