Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	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)
	2.	Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli. by Manna, Zohar Pnueli, Amir, 1941-2009 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c1995 Online access: Publisher description Availability: Items available for loan: Central Library, SUST (3)Call number: 005.2 MAT, ... Place hold Add to cart (remove)

Refine your search