Your search returned 2 results.

Not what you expected? Check for suggestions

Results
		Computer organization and design : the hardware/software interface / David A. Patterson, John L. Hennessy ; with a contribution by Peter J. Ashenden, James R. Larus, Daniel J. Sorin. by Patterson, David A Hennessy, John L Edition: 4th. ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; Boston : Elsevier/Morgan Kaufmann, c2009 Online access: Table of contents Publisher description Availability: Items available for loan: Central Library (2)Call number: 004.22 PAT, ... Log in to add tags Add to cart (remove)
		Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria. by Gnesi, Stefania, 1954- [editor.] Margaria-Steffen, Tiziana, 1964- [editor.] Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Hoboken : IEEE Computer Society ; John Wiley & Sons, c.2013 Online access: Contributor biographical information Table of contents only Availability: Items available for loan: Central Library (1)Call number: 004.0151 FOR. Log in to add tags Add to cart (remove)

Refine your search