/ edited by Tony Hoare, Manfred Broy, and Ralf Steinbruggen
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amesterdam
Name of Publisher, Distributor, etc.
: IOS Press
Date of Publication, Distribution, etc.
, 2001 = 1380.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix، ۳۵۷ ص.
Other Physical Details
مصور، عکس
SERIES
Series Title
(NATO science series. Series III, Computer and systems sciences ;180)
GENERAL NOTES
Text of Note
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Construction, 25 July-6 August 2000, Markotoberdorf, Germany"--T.p. verso"