NATO science series. Sub-ser.II, Mathematics, physics and chemistry. 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)), 2003. - XIV, 306 p. 306 p. - Текст : непосредственный.