عنوان

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings

پدید آورنده

Tiziana Margaria, Tom Melham )eds.(

موضوع

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

رده

QA

76
.
L28

Vol
.
2144

کتابخانه

محل استقرار

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

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings

2001 : Livingston, Scotland

Berlin

Springer-Verlag

c2001

xii, 482 p.: ill., tables

Lecture notes in computer science; 4412

Includes bibliographies

ISBN: 3540425411

Tiziana Margaria, Tom Melham )eds.(

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

Congresses ، Integrated circuits -- Verification

L28

Vol

2144

AU Margaria-Steffen, Tiziana, 1964-

AU Melham, Thomas F.

CHARME

عنوان Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings

پدید آورنده Tiziana Margaria, Tom Melham )eds.(

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

رده QA 76 .L28 Vol.2144