TY  - BOOK
AU  - Mar'jasov, I. V.
TI  - The mixed axiomatic semantics method
T2  - Preprint
VL  - 160
PY  - 2011///
CY  - Novosibirsk
PB  - A.P. Ershov inst. of informatics systems
KW  - Программы(компьют.)
KW  - Верификация
KW  - nlr_sh1
KW  - nlr_sh2
KW  - RU\NLR\AUTH\661327565
KW  - З973.2-018-07
N2  - Библиогр.: с. 41-42 (11 назв.)
ER  -