000			00670nam a2200217Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780792396895 _c(hbk)
082			_223 _a621.392 _bBER
100			_aBerge, Jean-Michel
245		0	_aHardware/Software Co-Design and Co-Verification
260			_aLondon: _bKluwer Academic Publishers, _c1997
300			_a165 p.; _bIllus. Index: _c24 cm.
650			_aCo-Design Methodology
650			_aCommunication Modeling
650			_aCommunication Protocol Modeling
650			_aCommunication Systems
650			_aDigital System Simulation
700			_aLevia, Oz
700			_aRouillard, Jacques
942			_2ddc _cBK
999			_c18842 _d18842