TY  - BOOK
AU  - Zalewska,Anna
TI  - Program verification with algorithmic logic
T2  - Studies in the Methodology of the Social Sciences
SN  - 8391506924
PY  - 2001///
CY  - Warsaw
PB  - Philomath
KW  - Logika
KW  - Algorytmy
N1  - Bibliogr. s. 101-105
ER  -