عنوان
پدید آورنده
موضوع
رده
TK 7874 .75 .C453 2001
TK
7874
.
75
.
C453
2001
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
130966
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
تابستان۱۸
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
General Material Designation
)91(
Title Proper
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
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2001
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 482 p.; 24 cm
SERIES
Series Title
Lecture notes in computer science
ISSN of Series
2144
GENERAL NOTES
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Integrated circuits-- Very large scale integration-- Computer-aided design
Entry Element
Congresses ، Integrated circuits-- Verification
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK
7874
.
75
.
C453
2001
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Tiziana Margaria, Tom Melham )eds.(
AU anaiziT ,airagraM
AU (.F moT).F .T ,mahleM
TI
SE
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
CHARME 2001 )2001: Livingston, Scotland(
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
129
