000			01087nam a2200265 4500
001			vtls000008109
003			KUKTEM
005			20251117142225.0
008			060606t2004 xxu gr |0 1 0|eng |
020			_a1586033425
039		9	_a201107131730 _bVLOAD _c200908141102 _dVLOAD _c200908141034 _dVLOAD _c200908131539 _dVLOAD _y200606141138 _zVLOAD
040			_aUMP
090			_aTA345 .M62 2002
245	0	0	_aModels, algebras and logic of engineering software / _c edited by Manfred Broy and Markus Pizka
260			_aAmsterdam, The Netherlands: _b IOS Press, _c 2003
300			_axi, 403 p.: _b ill.; _c 25 cm.
440		0	_aNato science series; v. 191
500			_a"Proceedings of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software, Marktoberdorf, Germany, 30 July - 11 August 2002"
504			_aIncludes references
650	0	0	_aEngineering _xComputer programs _vCongresses
650	0	0	_aEngineering _xData processing _vCongresses
650	0	0	_aComputer software _xDevelopment _vCongresses
700	1	2	_aBroy, Manfred
700	1	2	_aPizka, Markus
999			_c24916 _d24922