Your search returned 5 results.

Results
	1.	No cover image available Partition analysis method to demonstrate program reliability by Debra Jane Richardson by Richardson, Debra Jane Series: University of Massachmsetts, Ph.D Thesis Material type: Text Publication details: Ann Arbor UMI 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N81.
	2.	Software Inspection An industry best practice by David A Wheeler et al by Wheeler, David A Brykczynski, Bill Meeson, Reginald N Material type: Text Publication details: Los Alamitos, California IEEE Computer soc. Press 1996 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.14 N961.
	3.	Toward zero-defect programming by Allan M. Stavely by Stavely, Allan M Material type: Text Publication details: Massachusetts Addison-Wesley 1999 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N996. Place hold
	4.	No cover image available Measurement based framework for safety critical software certification by Gracy Joseph by Joseph, Gracy Series: IISc, Dept of CSA, MSc Thesis Material type: Text Publication details: Bangalore Indian Institute of Science 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 628.746028530287 P01 "THESIS". Place hold
	5.	Principles of model checking / Christel Baier ; Joost-Pieter Katoen ; edited by Kim Guldstrand Larsen by Baier, Christel [Author] Katoen, Joost-Pieter [Author] Larsen, Kim Guldstrand Publication details: Cambridge, London : MIT Press, 2008 Availability: Items available for loan: JRD Tata Memorial Library (2)Call number: 004.24 BAI, ... Place hold

Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832