Models, algebras, and logic of engineering software
By: edited by Manfred Broy and Markus Pizka.
Contributors: Broy, M., 1949-; Pizka, Markus.
Series: NATO science series.; v. 191
Publisher: IOS Press
Published: 2003
Place of publication: Amsterdam; Washington, DC
Language: eng
Number of pages: 403
Subjects: Engineering -- Computer programs.; Engineering -- Data processing.; Software engineering.; Computer software -- Development.; System design.
Notes: Includes bibliographical references and index.
"Proceedings of the NATO Advanced Study Institute on Models, Algebras, and Logic of Engineering Software, Marktoberdorf, Germany, 30 July - 11 August 2002"--T.p. verso.