01659nam2-2200433li-450 99000021091020331620180312154803.03-540-60385-90021091USA010021091(ALEPH)000021091USA01002109120001109d1995----km-y0itay0103----baengGWCorrect hardware design and verification methodsAdvanced research working conference CHARME'95Frankfurt/Main, Germany, October 2-4, 1995proceedingsPaolo E. Camurati ... [etc.] (eds.)Berlin [etc.]Spriger-Verlagcopyr. 1995VIII, 342 p.ill.24 cm.Lecture notes in computer science98700100202642001Lecture notes in computer sciencecongressifrankfurt/main1995hardwarearchitetturacongressi1995hardwareverificacongressi199562139Elaboratori. [Precedent. 621.38195]CAMURATI,Paolo E.Advanced research working conference CHARME'95Frankfurt/Main1995753257Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210910203316001 LNCS (987)001871800100103768BKSCI1996040520001110USA011714ALANDI9020010131USA01171020020403USA011629PATRY9020040406USA011615FIORELLA9020070907USA011359Correct hardware design and verification methods1515193UNISA