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 / eds. M. Bernardo, F. Corradini. - Berlin [et al.] : Springer, 2004. - VI 293, [2] с. : ил. - (Lecture Notes in Computer Science ; 3185). - Библиогр. в конце глав. - Указ.: с. 295. - ISBN 3-540-23068-8 : 2452.00 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА--КОНФЕРЕНЦИИ Для заказа издания воспользуйтесь услугами МБА |