TY  - BOOK
AU  - Greibach,Sheila A.
ED  - Springer-Verlag (Berlin).
TI  - Theory of program structures: schemes, semantics, verification 
T2  - Lecture Notes in Computer Science
SN  - 3540074155
PY  - 1975///
CY  - Berlin [etc.]
PB  - Springer-Verlag
KW  - Komputery
KW  - programowanie
KW  - kaba
KW  - Oprogramowanie
N1  - Bibliogr. s. B-1-B-4; Indeks; Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540074151
ER  -