Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005 : Saarbrucken, Germany, October 3-6, 2005 : proceedings. : 2005 advanced research working conference on correct hardware-like design and verification methods : Oct 2005, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 3725)

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005 : Saarbrucken, Germany, October 3-6, 2005 : proceedings. : 2005 advanced research working conference on correct hardware-like design and verification methods : Oct 2005, Saarbrucken, Germany.

(Lecture Notes in Computer Science ; 3725)

Call No. (NDL): M17-05-2680
Bibliographic ID of National Diet Library: 000008007716

Material type: 図書

Author: Saarland University. Department of Computer Science.ほか

Publisher: Springer

Publication date: c2005.

Material Format: Paper

Capacity, size, etc.: xii, 412 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers." (...) CHARME takes place on odd-numbered years, (...) " -- pref."It is the biennial counterpart of its sister conference FMCAD,...

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 3540291059
9783540291053 (ISBN-13)
ISSN (series): 0302-9743
Title: Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005 : Saarbrucken, Germany, October 3-6, 2005 : proceedings. : 2005 advanced research working conference on correct hardware-like design and verification methods : Oct 2005, Saarbrucken, Germany.
Series Title: Lecture Notes in Computer Science ; 3725
Author Heading: Saarland University. Department of Computer Science.
Borrione, Dominique.
Paul, Wolfgang J., 1951-
CHARME 2005 (2005 : Saarbrüchen, Germany)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2005.
Publication Date (W3CDTF): 2005
Extent: xii, 412 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses.
Integrated circuits -- Verification -- Congresses.
NDLC: M17
Note (General): Abstracts and papers.
" (...) CHARME takes place on odd-numbered years, (...) " -- pref.
"It is the biennial counterpart of its sister conference FMCAD, (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-05-2680
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008007716
http://id.ndl.go.jp/bib/000008007716
LC Control Number: 2005932937
https://lccn.loc.gov/2005932937
RLIN No.: CTYA7088831-B
Bibliographic Record Category (NDL): 215