000			01244nmm a22003495u 4500
999			_c17236 _d17236
005			20200820102300.0
008			100301s2007 xx j eng d
020			_a9781402062544
050	0	4	_aTK7895.E42 _bR36 2007
100	1		_aRamesh, S.
245	1	0	_aNext Generation Design and Verification Methodologies for Distributed Embedded Control Systems _h[electronic resource] : _bProceedings of the GM R&D Workshop, Bangalore, India, January 2007 / _cedited by S. Ramesh, Prahladavaradan Sampath.
250			_a1a ed.
260			_aDordrecht : _bSpringer Science+Business Media B.V., _c2007.
300			_bv.: digital
650		0	_aEngineering
650		0	_aSoftware engineering
650		0	_aComputer science
650		0	_aComputer simulation
650		0	_aSystems engineering
650	1	4	_aEngineering
650	2	4	_aCircuits and Systems
650	2	4	_aSoftware Engineering
650	2	4	_aSimulation and Modeling
650	2	4	_aMath Applications in Computer Science
700	1		_aSampath, Prahladavaradan.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
856	4	0	_uhttp://dx.doi.org/10.1007/978-1-4020-6254-4
942			_2lcc _cLIE