TY  - BOOK
AU  - Fitzgerald, J.
AU  - Larsen, P. G.
AU  - Mukherjee, P.
AU  - Plat, N.
TI  - Validated Designs for Object-oriented Systems
SN  - 1852338814
PY  - 2005///
CY  - New York
PB  - Springer-Verlag
KW  - Ð¸Ð½ÑÐ¾ÑÐ¼Ð°ÑÐ¸Ð¾Ð½Ð½ÑÐµ ÑÐµÑÐ½Ð¾Ð»Ð¾Ð³Ð¸Ð¸
KW  - Ð¾Ð±ÑÐµÐºÑÐ½Ð¾-Ð¾ÑÐ¸ÐµÐ½ÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð½ÑÐµ ÑÐ¸ÑÑÐµÐ¼Ñ
KW  - Ð¼Ð¾Ð´ÐµÐ»Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ
KW  - Ð°Ð½Ð³Ð»Ð¸Ð¹ÑÐºÐ¸Ð¹ ÑÐ·ÑÐº
KW  - UML
KW  - 681.3.068
KW  - 3
N2  - Subject Index: p. 389-397
ER  -