Your search returned 3 results.

Results
	1.	Verification of Sequential and Concurrent Programs by Krzysztof R Apt & Ernst-Rudiger Olderog Edition: 2nd Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 1997 Availability: Items available for loan: School of Engineering (1)Call number: 005.14 KRZ. Place hold Add to cart (remove)
	2.	Verification of sequential and concurrent programs by Krzysztof R Apt & Ernst-Rudiger Olderog Edition: 3rd Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 2009 Availability: Items available for loan: School of Engineering (1)Call number: 005.14 KRZ. Place hold Add to cart (remove)
	3.	Verification of sequential and concurrent programs by Krzysztof R Apt & Ernst-Rudiger Olderog Edition: 3rd Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 2009 Availability: Items available for loan: School of Engineering (1)Call number: 005.14 KRZ. Place hold Add to cart (remove)

ONLINE PUBLIC ACCESS CATALOG(OPAC)