TY  - BOOK
TI  - Язык C-light-kernel и его аксиоматическая семантика
T2  - ..
VL  - 87
PY  - 2001///
CY  - Б. м.
KW  - C, язык программирования
KW  - nlr-sh2
KW  - RU\NLR\auth\661040545
KW  - 004.42
KW  - 3
KW  - rus
KW  - 50
KW  - rugasnti
KW  - 32.973.26-018
KW  - rubbk
N2  - Библиогр.: с. 57
ER  -