Your search returned 4 results.

Not what you expected? Check for suggestions

Results
	1.	No cover image available Model checking [Book] E. M. Clarke. by Clarke, E. M Material type: Text Publication details: The MIT Press London Availability: Items available for loan: COMSATS University Abbottabad Campus (5)Call number: 004.21 CLA, ... Place hold Add to cart (remove)
	2.	Handbook of model checking [Book] / Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem, editors. by Clarke, Edmund M Henzinger, Thomas A Veith, Helmut Bloem, Roderick Material type: Text; Literary form: Not fiction Availability: Not available: COMSATS University Attock Campus: Checked out (1). Place hold Add to cart (remove)
	3.	Applications for financial accounting [Book] / David Willis. by Willis, David Santambrogio, Marco D. (Marco Domenico) Huang, Chun-Hsian Material type: Text; Literary form: Not fiction Publication details: Boston : McGraw-Hill, 2003 Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 004.21 HSI-R. Place hold Add to cart (remove)
	4.	Applications for financial accounting [Book] / David Willis. by Willis, David Santambrogio, Marco D. (Marco Domenico) Huang, Chun-Hsian Material type: Text; Literary form: Not fiction Publication details: Boston : McGraw-Hill, 2003 Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (9)Call number: 657.046 WIL-A, ... Place hold Add to cart (remove)

Refine your search