Models, algebras, and logic of engineering software /
Models, algebras, and logic of engineering software /
edited by Manfred Broy and Markus Pizka.
- Amsterdam ; Washington, DC : IOS Press, 2003.
- xi, 403 p. : ill. ; 25 cm.
- NATO science series. Series III, Computer and systems sciences ; v. 191 .
"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.
Includes bibliographical references and index.
1586033425 4274905896
1387-6694
Engineering--Computer programs
Engineering--Data processing
Software engineering
Computer software--Development
System design
TA345
620/.00285/5
"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.
Includes bibliographical references and index.
1586033425 4274905896
1387-6694
Engineering--Computer programs
Engineering--Data processing
Software engineering
Computer software--Development
System design
TA345
620/.00285/5