000			00489nam a2200157Ia 4500
008			230911s9999||||xx |||||||||||||| ||und||
020			_a9781441905048
082			_a006.22 GAJ/ABD
100			_aGajski, Daniel D
245		0	_aEmbedded system design: modeling, synthesis and Verification
260			_aNew Delhi _bSpringer _c2013
300			_a352
650			_aCOMPUTER SCIENCE AND ENGINEERING
700			_aGajski, Daniel DAbdi, Samar, Gerstlauer, Andreas, Schirner, Gunar
942			_cBK
999			_c3299 _d3299