TY  - BOOK
AU  - Robinet,Bernard
ED  - International Symposium on Programming
TI  - International Symposium on Programming: proceedings of the fourth "Colloque International sur la Programmation", Paris, 22-24 April 1980 
T2  - Lecture Notes in Computer Science
SN  - 3540099816
PY  - 1980///
CY  - Berlin [etc.]
PB  - Springer-Verlag
KW  - Języki programowania
KW  - semantyka
KW  - konferencje
KW  - kaba
KW  - Weryfikacja oprogramowania
N1  - Bibliogr. przy rozdz; Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540099819
ER  -