عنوان

Formal methods in computer-aided design : 5th International Confrence ]i.e. conference[, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

پدید آورنده

Alan J. Hu, Andrew K. Martin )eds.(

موضوع

Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits

رده

QA

76
.
L28

Vol
.
3312

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

Formal methods in computer-aided design : 5th International Confrence ]i.e. conference[, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

2004 : Austin, Texas

Berlin

Springer-Verlag

c2004

xi, 444 p.: ill

Lecture notes in computer science; 2133

Includes bibliographies

ISBN: 3540237380

Alan J. Hu, Andrew K. Martin )eds.(

Computer-aided design -- Congresses ، Digital integrated circuits

Congresses ، Integrated circuits -- Verification

Congresses ، Formal methods )Computer science(

Design and construction -- Mathematics -- Congresses ، Digital integrated circuits

L28

Vol

3312

AU Hu, Alan John

AU Martin, Andrew K.

FMCAD

عنوان Formal methods in computer-aided design : 5th International Confrence ]i.e. conference[, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

پدید آورنده Alan J. Hu, Andrew K. Martin )eds.(

موضوع Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits

رده QA 76 .L28 Vol.3312