000			01036nam a2200265 a 4500
001			vtls000032162
003			KUKTEM
005			20251117145407.0
008			081111t2008 f 001 0 eng d
020			_a9781402061516 (hbk.)
020			_a9781402061530 (e-book)
039		9	_a201107132136 _bVLOAD _c201011251244 _dFida _c200908141628 _dVLOAD _c200908141602 _dVLOAD _y200811111556 _zsaini
040			_aUMP
090			_aTK7895 .E42 N53 2007
100	1		_aNicolescu, G.
245	1	0	_aGlobal specification and validation of embedded systems : _bintegrating heterogeneous components / _cby G. Nicolescu and A.A. Jerraya
260			_aDordrecht : _bSpringer, _cc2007
300			_axi, 148 p. : _bill. ; _c25 cm.
504			_aIncludes bibliographical references and index
650		0	_aEmbedded computer systems
650		0	_aHeterogeneous computing
650		0	_aComputer programs _xValidation
700	1		_aJerraya, Ahmed A.
999			_aVIRTUA40 _c45330 _d45336
999			_aVTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*5040*6500*6501*6502*7000*9991