Backhouse R.(et-al) (ed) <br/><br/>
Mathematics of program construction : lecture notes in computer science :Proceedings 

 -  Springer: Tokyo  2000 
 - 255 p. 
<br/><br/><label>ISBN: </label>0003540677275 
<br/><br/><label>Subjects--Topical Terms: </label><br/>mathematics : computer science :
<br/><br/><label>Dewey Class. No.: </label>004.0151  / M17