Your search returned 2 results.

Results
		No cover image available Programming logic : with an introduction to the PL/CV verifier by Constable, Robert L \| O'Donnell, Michael J \| . Series: Edition: Language: English Publication details: Cambridge ; Winthrop Pub., ; 1978Availability: Items available for loan: 1 Call number: 681.3.06 Con. Place hold Add to cart (remove)
		No cover image available Equational logic as a programming language by O'Donnell, Michael J \| . Series: Edition: Language: English Publication details: Cambridge ; MIT Press, ; 1986Availability: Items available for loan: 1 Call number: 681.3.06 O'D. Place hold Add to cart (remove)

Refine your search