000			00638nam a2200229Ia 4500
001			61073
005			20250221160500.0
008			250214s9999||||xx |||||||||||||| ||und||
020			_a9788132211068
100			_aGajski, Daniel D
245		0	_aEmbedded system design : modeling, synthesis and verification
260			_aNew Delhi
260			_bSpringer
260			_c2006
300			_axxiv, 352p. : ill.
500			_aIncludes bibliographical references and index
650			_aEmbedded system -- Design
650			_aSoftware synthesis
700			_aAbdi, Samar
700			_aGerstlauer, Andreas...[et al.]
942			_cBK
999			_c76677 _d76677