1. Computer-aided verification: proceedings 2nd International conference, CAV'90

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Digital integrated circuits-- Computer-aided design,Congresses ، Integrated circuits-- Verification

رده :
TK
7874
.
D553
1990a

2. Computer-aided verification 90 : proceedings of a DIMACS Workshop, June 18-21, 1990

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design

رده :
TK
7874
.
D55
1990