000			00506nam a2200145Ia 4500
008			210311s9999 xx 000 0 und d
020			_a978-3-319-43174-1
100			_aLuca Gaetano Amaru
245		0	_aNew Data Structures and Algorithms for Logic Synthesis and Verification
260			_bSpringer
260			_c2017
650			_aEngineering; Circuits and Systems; Processor Architectures; Logic Design
856			_uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-43174-1
942			_cEBOOK
999			_c37061 _d37061