/ edited by Tony Hoare, Manfred Broy, and Ralf Steinbruggen
Amesterdam
: IOS Press
, 2001 = 1380.
ix، ۳۵۷ ص.
مصور، عکس
(NATO science series. Series III, Computer and systems sciences ;180)
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Construction, 25 July-6 August 2000, Markotoberdorf, Germany"--T.p. verso"