TY  - BOOK
AU  - Мансуров, Н. Н.
AU  - Майлингова, О. Л.
TI  - Методы формальной спецификации программ: языки МSC и SDL
SN  - 5-89407-021-Х
PY  - 1998///
CY  - М.
PB  - МГУ ВМК
KW  - SDL, язык программирования
KW  - Руководства, пособия и т.п. для высшей школы
KW  - nlr-sh1
KW  - RU\NLR\auth\66128130
KW  - Учебные издания для высшей школы
KW  - nlr-sh2
KW  - MSC, язык программирования
KW  - RU\NLR\auth\661255545
KW  - З973.2-018я73-1
ER  -