00906nam a2200229   4500001001400000003000700014005001700021008004100038020001500079040000800094245009900102260005200201300003300253440003200286500015900318504002400477650004700501650004500548650004700593700001800640700001800658vtls000008109KUKTEM20251117142225.0060606t2004    xxu    gr    |0 1 0|eng |  a1586033425  aUMP00aModels, algebras and logic of engineering software /c edited by Manfred Broy and Markus Pizka  aAmsterdam, The Netherlands:b IOS Press,c 2003  axi, 403 p.:b ill.;c 25 cm. 0aNato science series; v. 191  a"Proceedings of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software, Marktoberdorf, Germany, 30 July - 11 August 2002"  aIncludes references00aEngineeringxComputer programsvCongresses00aEngineeringxData processingvCongresses00aComputer softwarexDevelopmentvCongresses12aBroy, Manfred12aPizka, Markus