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