Вид документа : Однотомное издание Шифр издания : 519/V 19 Заглавие : Validation of Stochastic Systems : a Guide to Current Research Выходные данные : Berlin [et al.]: Springer, 2004 Колич.характеристики :VIII, 465, [2] с.: ил., табл. Серия: Lecture Notes in Computer Science; 2925 Примечания : Библиогр. в конце глав. - Указ.: с. 467 ISBN, Цена 3-540-22265-0: 3908.00 р. ГРНТИ : 27.43 ББК : 519.15 Предметные рубрики: МАТЕМАТИКА-- ТЕОРИЯ ВЕРОЯТНОСТЕЙ Экземпляры :кх(1) Свободны : кх(1) Доп.точки доступа: Baier, Christel \ed.\; Haverkort, Boudewijn R. \ed.\; Hermanns, Holger \ed.\; Katoen, Joost-Pieter \ed.\; Siegle, Markus \ed.\