عنوان
پدید آورنده
موضوع
رده
TK 7874 .75 .C453 2001
TK
7874
.
75
.
C453
2001
کتابخانه
محل استقرار
130966
تابستان۱۸
English
)91(
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
Berlin
Springer
2001
xii, 482 p.; 24 cm
Lecture notes in computer science
2144
Includes bibliographical references and index
Congresses ، Integrated circuits-- Very large scale integration-- Computer-aided design
Congresses ، Integrated circuits-- Verification
TK
7874
.
75
.
C453
2001
AU
Tiziana Margaria, Tom Melham )eds.(
AU anaiziT ,airagraM
AU (.F moT).F .T ,mahleM
TI
SE
CHARME 2001 )2001: Livingston, Scotland(
129
