Полное описание

NATO science series. Sub-ser.II, Mathematics, physics and chemistry : материалы временных коллективов. - Dordrecht [etc.] : Kluwer. - Текст : непосредственный.
Vol. 121 : Formal descriptions of developing systems : proc. of the NATO advanced research workshop on formal descriptions of developing systems, Manoa(Hi), 2-6 Oct., 2002 / NATO advanced research workshop on formal descriptions of developing systems (2002; Manoa (Hi)) ; Ed.: I.Trofimova; J.D.Rand; W.Sulis. - Dordrecht [etc.] : Kluwer, 2003. - XIV, 306 p. 306 p. : ill. - ISBN 1-4020-1567-4

Библиогр. в конце ст. Указ.:c. 303-306

ГРНТИ	УДК
28.29	519.876(063)

Рубрики:
Систем теория -- Съезды и конференции

Кл.слова (ненормированные): СИСТЕМА
Доп. точки доступа:
Nation, J.\ed.\
Trofimova, I.\ed.\

Имеются экземпляры в отделах: всего -20040205 : ХР (-20040205)
Свободны: ХР (1)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/18103/121)

Шифр в сводном ЭК: 3313617f37d0612816f46a5d8c206cff

Заказать издание
Заказ фрагмента документа ₽