Engineering theories of software construction

Saved in:
Bibliographic Details
Corporate Authors: NATO Advanced Study Institute on Engineering Theories of Software Construction (2000 Marktoberdorft, Germany) (Marktoberdorft, Germany))
Group Author: (Charles Antony Richard), 1934-; Broy M., 1949-; Steinbruggen Ralf.; Hoare C. A. R.
Published: IOS Press,
Publisher Address: Amsterdam
Publication Dates: 2001.
Literature type: Book
Language: English
Series: NATO Science Series. Series F, Computer and systems sciences ; v. 180.
Carrier Form: ix, 357 p.: ill.
ISBN: 1586031724 (IOS Press)
4274904350 (Ohmsha)
Index Number: TP31
CLC: TP31-532
Call Number: TP31-532/E579/2000
Contents: "Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Construction, 25 July-6 August 2000, Marktoberdorf, Germany"--T.p. verso.