Your search returned 5 results.

Results
		Program verification / Francez Nissim. by Francez, Nissim Material type: Text; Format: print ; Literary form: Not fiction Publication details: Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co., c1992 Availability: Items available for loan: Carlow Campus Library (1)Call number: 005.14. Place hold Place recall Add to cart (remove)
		Toward zero-defect programming / Allan M. Stavely. by Stavely, Allan M Material type: Text; Format: print ; Literary form: Not fiction Publication details: Reading, Mass. : Addison-Wesley, c1999 Other title: Zero-defect programming Availability: Items available for loan: Carlow Campus Library (1)Call number: 005.10685. Place hold Place recall Add to cart (remove)
		Systems and software verification : model-checking techniques and tools / B. Beŕard ... [et al.]. by Beŕard, Beátrice Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c2001 Availability: Items available for loan: Carlow Campus Library (2)Call number: 005.14, ... Place hold Place recall Add to cart (remove)
		A practical guide to adopting the Universal Verification Methodology (UVM) / Sharon Rosenberg, Kathleen A. Meade. by Rosenberg, Sharon Meade, Kathleen Series: UVM Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: San Jose, CA : Cadence Design Systems, c2010 Availability: Items available for loan: Carlow Campus Library (2)Call number: 005.14, ... Place hold Place recall Add to cart (remove)

Powered by Koha