TY  - BOOK
AU  - Frappier, M.
AU  - Habrias, H.
TI  - Software Specification Methods. An Overview Using a Case Study
T2  - Formal Approaches to Computing and Information Technology
SN  - 1852333537
PY  - 2001///
CY  - London
PB  - Springer-Verlag
KW  - Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ
KW  - Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ðµ Ð¾Ð±ÐµÑÐ¿ÐµÑÐµÐ½Ð¸Ðµ
KW  - ÑÐ¿ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ñ
KW  - Ð¼ÐµÑÐ¾Ð´Ñ
KW  - Ð°Ð½Ð³Ð»Ð¸Ð¹ÑÐºÐ¸Ð¹ ÑÐ·ÑÐº
KW  - 681.3.06
KW  - 3
N2  - ÐÐ¸Ð±Ð»Ð¸Ð¾Ð³ÑÐ°ÑÐ¸Ñ Ð² ÐºÐ¾Ð½ÑÐµ ÑÑÐ°ÑÐµÐ¹
ER  -