TY  - BOOK
AU  - Derrick, J.
AU  - Boiten, E.
TI  - Refinement in Z and Object-Z. Foundations and Advanced Applications
SN  - 185233245X
PY  - 2001///
CY  - London
PB  - Springer-Verlag
KW  - Ð¾Ð±ÑÐµÐºÑÐ½Ð¾-Ð¾ÑÐ¸ÐµÐ½ÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð½Ð¾Ðµ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ
KW  - ÑÐ·ÑÐºÐ¸ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ
KW  - Ð¸Ð½ÑÐ¾ÑÐ¼Ð°ÑÐ¸Ð¾Ð½Ð½ÑÐµ ÑÐµÑÐ½Ð¾Ð»Ð¾Ð³Ð¸Ð¸
KW  - ÐºÐ¾Ð¼Ð¿ÑÑÑÐµÑÐ½ÑÐµ ÑÐµÑÐ½Ð¾Ð»Ð¾Ð³Ð¸Ð¸
KW  - Ð°Ð½Ð³Ð»Ð¸Ð¹ÑÐºÐ¸Ð¹ ÑÐ·ÑÐº
KW  - 681.3.068
KW  - 3
N2  - Bibliography: p. 449-460; Index: p. 461-466
ER  -