TY  - BOOK
AU  - Bird,Richard S.
AU  - Morgan,Carroll
AU  - Woodcock,Jim
ED  - International Conference on the Mathematics of Program Construction
TI  - Mathematics of program construction: second international conference, Oxford, U. K., June 29 - July 3, 1992 : proceedings 
T2  - Lecture Notes in Computer Science
SN  - 3540566252
PY  - 1993///
CY  - Berlin
PB  - Springer
KW  - Informatyka
KW  - matematyka
KW  - konferencje
KW  - kaba
KW  - Komputery
KW  - programowanie
N1  - W przedm. nazwa konferencji: International Conference on the Mathematics of Program Construction; Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540566250
ER  -