OPAC_KOHA catalog › Results of search for 'ccl=su:"Computer programs

Your search returned 2 results.

	1.	Foundations of Program Verification Jacques Loeckx by Loeckx, Jacques \| Stasifer, Ryan D \| Sieber, Kurt. Edition: 2nd ed.Material type: Text Publication details: New York John Wiley & Sons 1987Availability: Items available for reference: Not for loanCall number: REF 005.14 LOE (1). : Request article Add to cart (remove)
	2.	Calculus of Computation: decision procedures with applications to verification Aaron R. Bradley by Bradley, Aaron R \| Manna, Zohar. Material type: Text Publication details: Berlin Springer Verlag, Netherlands 2010Availability: Items available for loan: Call number: 515.22 BRA (1). Place hold Request article Add to cart (remove)