000			01788cam a2200397 a 4500
999			_c72146 _d72146
001			3907917
003			CITU
005			20210804051538.0
008			911202s1992 ne a b 101 0 eng
010			_a 91046090
020			_a0444893679
040			_aCITU LRAC _cDLC _dDLC _beng
050	0	0	_aTK7874 _b.A3353 1991
082	0	0	_a621.395 _220
111	2		_aAdvanced Research Workshop on Correct Hardware Design Methodologies _d(1991 : _cTurin, Italy)
245	1	0	_aCorrect hardware design methodologies : _bproceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991 / _cedited by Paolo Prinetto, Paolo Camurati.
264		1	_aAmsterdam ; _bNorth-Holland ; _cc1992.
300			_aix, 470 pages : _billustrations ; _c25 cm.
336			_atext _btxt _2rdacontent
337			_aunmediated _bn _2rdamedia
338			_avolume _bnc _2rdacarrier
500			_a"Organized by ESPRIT Basic Research Action 3216 'CHARME' ... in cooperation with EEC CEC, Directorate General XIII [and] IFIP WG 10.2."
500			_a"Sponsored by Politecnico di Torino."
504			_aIncludes bibliographical references and index.
650		0	_aIntegrated circuits _xVery large scale integration
650		0	_aComputer software _xVerification _vCongresses.
650		0	_aComputer-aided design _xCongresses.
650		0	_aIntegrated circuits _xDesign and construction _xData processing _xCongresses
700	1		_aPrinetto, Paolo.
700	1		_aCamurati, Paolo.
710	2		_aESPRIT Basic Research Action 3216 "CHARME".
710	2		_aPolitecnico di Torino.
906			_a7 _bcbc _corignew _d1 _eocip _f19 _gy-gencatlg
942			_2ddc _cBK