Mathematics of program construction [E-Book] : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings / ed. by P. Audebaud ...
Audebaud, P., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540705949 (e-book)
9783540705932
Lecture notes in computer science ; 5133
Full Text
Description not available.