Инвентарный номер: И-12528 - кх. З97 M 44 Mclver, Annabelle. Abstraction, Refinement and Proof for Probabilistic Systems : научное издание / A. Mclver, C. Morgan. - [New York] : Springer, 2005. - XIX, 383 p. : ил. - (Monographs in Computer Science). - Библиогр.: с. 345-355. - Указ.: с. 357-383. - Прил.: с. 313-344. - ISBN 0-387-40115-6 : 361.00 р.
Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ Для заказа издания воспользуйтесь услугами МБА |