عنوان

Correct hardware design and verification methods : IFIP WG10.2 advanced Research Working Conference CHARME'93, Arles, France, May 24-26, 1993 : proceedings

پدید آورنده

George J. Milne, Laurence Pierre )eds.(

موضوع

Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification

رده

QA

76
.
L28

Vol
.
683

کتابخانه

محل استقرار

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

Correct hardware design and verification methods : IFIP WG10.2 advanced Research Working Conference CHARME'93, Arles, France, May 24-26, 1993 : proceedings

1993 : Arles, Fr.

Berlin

Springer-Verlag

c1993

vi, 269p.: ill., tables

Lecture notes in computer science; 386

Includes bibliographies

ISBN: 354056778X

George J. Milne, Laurence Pierre )eds.(

Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration

Congresses ، Integrated circuits -- Verification

L28

Vol

683

AU Milne, George J., 1952-

AU Pierre, Laurence

CO International Federation for Information Processing

CHARME

عنوان Correct hardware design and verification methods : IFIP WG10.2 advanced Research Working Conference CHARME'93, Arles, France, May 24-26, 1993 : proceedings

پدید آورنده George J. Milne, Laurence Pierre )eds.(

موضوع Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification

رده QA 76 .L28 Vol.683