Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Software reliability methods / Doron A. Peled ; foreword by Edmund M. Clarke. by Peled, Doron A, 1962- Series: Texts in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c2001 Online access: Publisher description Table of contents only Availability: Items available for loan: Central Library, SUST (3)Call number: 005 PES, ... Place hold Add to cart (remove)
	2.	Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. by Clarke, E. M, 1945- Grumberg, Orna Peled, Doron A, 1962- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1999 Availability: Items available for loan: Central Library, SUST (2)Call number: 004.21 CLM, ... Place hold Add to cart (remove)

Refine your search