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.	Verification of sequential and concurrent programs / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog by Apt, Krzysztof R, 1949- Boer, Frank S. de Olderog, E.R Series: Texts in computer science Edition: 3rd extended ed. Material type: Text; Format: microfiche ; Literary form: Not fiction Publication details: London ; New York : Springer, c2009 Availability: Items available for loan: Central Library, SUST (2)Call number: 005.14 APV, ... Place hold Add to cart (remove)

Refine your search