NUST Institutions Library Catalogue catalog › Results of search for '(su:"Computer software") AND (su:"Verification.")'

Your search returned 3 results.

Not what you expected? Check for suggestions

		Verification, validation and testing in software engineering Aristides Dasso, Ana Funes [editors] by Dasso, Aristides, 1943- \| Funes, Ana, 1964-. Publisher: Hershey, PA : Idea Group Pub., c2007Online access: Table of contents Availability: Items available for reference: Central Library (CL) Not for loanCall number: 005.14 DAS (1). :
		Model Checking and Artificial Intelligence 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / Doron A. Peled, Michael J. Wooldrige (eds.). by MoChArt 2008 (2008 : Patrai, Greece) \| Peled, Doron A, 1962- \| Wooldrige, Michael J. Material type: Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2009Other title: MoChArt 5 \| MoChArt five.Online access: Table of contents \| Inhaltsverzeichnis \| Publisher description Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 006.3 MOD (1). Place hold Find in NUST Repository
		Verification, validation and testing in software engineering (EBOOK) Aristides Dasso, Ana Funes [editors]. by Dasso, Aristides \| Dasso, Aristides, 1943- \| Funes, Ana, 1964-. Publisher: Hershey, PA : Idea Group Pub., c2007Online access: Table of contents Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.14 DAS (1). Place hold Find in NUST Repository