Your search returned 2 results.

Results
		No cover image available Mathematical theory of program correctness by de Bakker, Jaco \| . Series: Edition: Language: English Publication details: ; Prentice/Hall International ; Availability: Items available for loan: 1 Call number: 681.3.06:519.28deB. Place hold Add to cart (remove)
		Types for proofs and programs : international workshop TYPES, France, Dec. 15-19, 1996 by \| Gimenez, Eduardo \| Gimenez, Eduardo. Series: Lecture notes in computer science ; v.1512Edition: Language: English Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: 1 Call number: 681.3.06:517.1Typ:96. Place hold Add to cart (remove)

Refine your search