Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	Principles of model checking [Book] Christel Baier. by Baier, Christel Material type: Text Publication details: Massachusetts Institute of Technology (MIT) Availability: Items available for loan: COMSATS University Abbottabad Campus (5)Call number: 004.24 BAI, ... Place hold Add to cart (remove)
	2.	Metamodeling-driven IP reuse for SoC integration and microprocessor design [Book] / Deepak A. Mathaikutty, Sandeep K. Shukla. by Mathaikutty, Deepak A Shukla, Sandeep K Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : Artech House, c2009 Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 621.395 MAT-M. Place hold Add to cart (remove)
	3.	Earthworks Book : a guide / Paul Nowak, Chief geotechnical Engineer, Atkins, UK and Peter Gilbert, Technical Director, Atkins, UK. by Nowak, Paul [author.] Gilbert, Peter [author.] Linz, Tilo Schaefer, Hans Turko, Jeffrey P [author.] Edition: Second edition. Material type: Text; Format: print ; Literary form: Not fiction Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (4)Call number: 624.152 NOW-E 62703, ... Place hold Add to cart (remove)

Refine your search