Models, algebras and logic of engineering software /
Models, algebras and logic of engineering software /
edited by Manfred Broy and Markus Pizka
- Amsterdam, The Netherlands: IOS Press, 2003
- xi, 403 p.: ill.; 25 cm.
- Nato science series; v. 191 .
"Proceedings of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software, Marktoberdorf, Germany, 30 July - 11 August 2002"
Includes references
1586033425
Engineering--Computer programs--Congresses
Engineering--Data processing--Congresses
Computer software--Development--Congresses
"Proceedings of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software, Marktoberdorf, Germany, 30 July - 11 August 2002"
Includes references
1586033425
Engineering--Computer programs--Congresses
Engineering--Data processing--Congresses
Computer software--Development--Congresses