000			00509nam a2200133Ia 4500
008			2212144s2014 xx 000 0 und d
020			_a9781461478645
041			_aeng
100			_aRoopak Sinha ; Parthasarathi Roop Samik Basu
245			_aCorrect-by-Construction Approaches for SoC Design
260			_aNew York _bSpringer _c2014
650			_aInstrumentation Engineering: Circuits and Systems: Processor Architectures: Electronics and Microelectronics
856			_uhttp://doi.org/10.1007/978-1-4614-7864-5
999			_c83369 _d83369