Вид документа : Однотомное издание Шифр издания : 519/F 76 Заглавие : Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004 Bertinoro, Italy, September 13-18, 2004 Revised Lectures Выходные данные : Berlin [et al.]: Springer, 2004 Колич.характеристики :VI 293, [2] с.: ил. Серия: Lecture Notes in Computer Science; 3185 Примечания : Библиогр. в конце глав. - Указ.: с. 295 ISBN, Цена 3-540-23068-8: 2452.00 р. ГРНТИ : 27.47 ББК : 519.181я431(0) Предметные рубрики: МАТЕМАТИКА-- МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА Экземпляры :кх(1) Свободны : кх(1) Доп.точки доступа: Bernardo, Marco \ed.\; Corradini, Flavio \ed.\