Your search returned 2 results.

Results
		No cover image available Autonomous robot motion in complex environments : specification and verification (R) by Sowmya, A [Author] \| Singh, Ramesh Kumar [Supervisor] \| Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Language: English Publication details: Bombay IIT 1990Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1990 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:621-52 Sow. Add to cart (remove)
		No cover image available Specification-based system structure description (R) by Sowmya, A \| Dhamdhere, D. M. Series: Edition: Language: English Publication details: Bombay ; IIT ; 1985Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06Sow. Add to cart (remove)

Refine your search