Mathematics of program construction :  second international conference, Oxford, U. K., June 29 - July 3, 1992 : proceedings / 
R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.). 
 - Berlin :  Springer,  1993. 
 - VIII, 378 s. ;  24 cm. 
 - Lecture Notes in Computer Science ;  669 .
 - Lecture Notes in Computer Science  669 .
<br/><br/> W przedm. nazwa konferencji: International Conference on the Mathematics of Program Construction. 
<br/><br/>
<br/><br/><label>ISBN: </label>3540566252 0387566252 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Informatyka--matematyka--konferencje.<br/>Komputery--programowanie--konferencje.