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

R/18103/121
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 : 50.00 р.
Библиогр. в конце ст. Указ.:c. 303-306

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

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

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

Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)

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