Your search returned 3 results.

Results
	1.	Distributed Operating Systems by Tanenbaum, Andrew S Davies, Jim Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore None 2003 Availability: Items available for loan: NMIT (1)Call number: 005.43 TAN. Items available for reference: NMIT: Not for loan (1)Call number: 005.43 TAN. Place hold Save to lists Add to cart (remove)
	2.	Formal Methods: Foundations and Applications by Davies, Jim Silva, Leila.Simao, Adenilso Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	3.	Integrated Formal Methods by Davies, Jim Gibbons, Jeremy Material type: Text; Format: print ; Literary form: Not fiction Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)

Refine your search