このページのリンク

Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf (eds.)
(Lecture notes in computer science ; 901)

データ種別 図書
出版者 Berlin : Springer
出版年 c1995
本文言語 英語
大きさ viii, 303 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 TK:7874.65:T54:1995
3540590471 001868133

書誌詳細を非表示

別書名 背表紙タイトル:TPCD'94 : theorem provers in circuit design
一般注記 Final revised proceedings of the Second International Conference on Theorem Provers in Circuit Design
Includes bibliographical references
著者標目 Kumar, Ramayya, 1957-
Kropf, Thomas, 1961-
*IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (2nd : 1994 : Bad Herrenalb, Germany)
件 名 LCSH:Digital integrated circuits -- Design and construction -- Data processing -- Congresses  全ての件名で検索
LCSH:Automatic theorem proving -- Congresses  全ての件名で検索
LCSH:Computer-aided design -- Congresses  全ての件名で検索
分 類 LCC:TK7874.65
DC20:621.39/2
巻冊次 ISBN:3540590471 REFWLINK
ISBN 3540590471
NCID BA24686158 WCLINK
目次/あらすじ

 類似資料