TY  - BOOK
AU  - Cleaveland, R.
TI  - Tools and Algorithms for the Construction and Analysis of Systems
SN  - 3540657037
PY  - 1999///
CY  - Berlin
PB  - Springer-Verlag
KW  - Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ
KW  - Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ðµ Ð¾Ð±ÐµÑÐ¿ÐµÑÐµÐ½Ð¸Ðµ
KW  - ÑÐ·ÑÐºÐ¸ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ
KW  - Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ
KW  - Ð¸Ð½ÑÑÑÑÐ¼ÐµÐ½ÑÑ
KW  - Ð°Ð½Ð°Ð»Ð¸ÑÐ¸ÑÐµÑÐºÐ¸Ðµ Ð¼ÐµÑÐ¾Ð´Ñ
KW  - Ð±ÐµÐ·Ð¾Ð¿Ð°ÑÐ½Ð¾ÑÑÑ
KW  - Ð°Ð½Ð³Ð»Ð¸Ð¹ÑÐºÐ¸Ð¹ ÑÐ·ÑÐº
KW  - ÐºÐ¾Ð½ÑÐµÑÐµÐ½ÑÐ¸Ð¸
KW  - 681.3.06(063)
KW  - 3
N2  - References at the end of chapters
ER  -