000			01332cam a22003257a 4500
001			129387
005			20060821150752.0
008			030311s2003 ne a b 101 0 eng d
020			_a1586033425
020			_a4274905896
022			_a1387-6694
040			_aNEU
041			_aeng
050	0	0	_aTA345
082	0	0	_a620/.00285/5
111	2		_aNATO Advanced Study Institute on Models, Algebras, and Logic of Engineering Software _d(2002 : _cMarktoberdorf, Germany)
700	1		_aBroy M _d1949 _9262103
700	1		_aPizka Markus _9262104
245	1	0	_aModels, algebras, and logic of engineering software / _cedited by Manfred Broy and Markus Pizka.
260			_aAmsterdam ; _aWashington, DC : _bIOS Press, _c2003.
300			_axi, 403 p. : _bill. ; _c25 cm.
440		0	_aNATO science series. _nSeries III, _pComputer and systems sciences ; _vv. 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"--T.p. verso.
504			_aIncludes bibliographical references and index.
650		0	_aEngineering _xComputer programs _9396284
650		0	_aEngineering _xData processing
650		0	_aSoftware engineering _9127215
650		0	_aComputer software _xDevelopment _9159265
650		0	_aSystem design _9127770
942			_x1000098 _kTA0000345N3752003 _cBOOK
999			_c112722