Your search returned 2 results.

Results
		Mathematics of program construction : 9th international conference proceedings, MPC, Marseille, France, July 15-18, 2008 by \| Audebaud, Philippe \| Audebaud, Philippe. Series: Lecture notes in computer science ; v.5133Edition: Language: English Publication details: Berlin ; Springer ; 2008Availability: Items available for loan: 1 Call number: 681.3.06:51Mat:9:08. Place hold Add to cart (remove)
		Mathematics of program construction (e-book) by Audebaud, Philippe. Series: Lecture Notes in Computer Science (LNCS) ; v.5133Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2008Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search