Your search returned 3 results.

Results
			Derivation of imperative sequential programs from formal specifications (R) by Chaudhari, Dipak Liladhar [Author] Damani, Om [Supervisor] Indian Institute of Technology Bombay Department of Computer Science and Engineering Language: English Publication details: Bombay ; IIT ; 2017 Dissertation note: Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2017 Availability: Items available for reference: Central Library, IITB: Not for loan (1)Call number: 043:681.3.06:517.1Cha. Save to lists Add to cart (remove)
			Dependence analysis of functional programs and its applications (R) by Prasanna Kumar, K [Author] Sanyal, Amitabha [Supervisor] Karkare, Amey Indian Institute of Technology Bombay. Department of Computer Science and Engineering Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bombay IIT 2019 Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Central Library, IITB: Not for loan (1)Call number: 043:681.3.06:517.1 Pra. Lists: Display List 25/11/2019 - 01/12/2019. Save to lists Add to cart (remove)
			Scaling up property checking (R) by Shrawankumar [Author] Sanyal, Amitabha [Supervisor] Khedker, Uday [Supervisor] Indian Institute of Technology Bombay. Department of Computer Science and Engineering Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bombay IIT 2019 Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Central Library, IITB: Not for loan (1)Call number: 043:681.3.06 Shr. Lists: Display List 03/02/2020-09/02/2020. Save to lists Add to cart (remove)