Your search returned 2 results.

Results
		No cover image available 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 ; 2017Dissertation note: Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2017 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:517.1Cha. Add to cart (remove)
		No cover image available Limit load analysis of 500 MWe PHWR PHT elbows with surface flaws (R) by Chaudhari, Dipak Liladhar \| Ukadgaonker, V.G. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2000Availability: Items available for reference: Not for loan (1) Call number: 043:621.643:620.172.24Cha. Add to cart (remove)

Refine your search