このページのリンク

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
書誌ID 1000030515

所蔵情報を非表示

3F・書庫-NDC分類図書・別置(請求制)
007.1||L||901 219980000011



書誌詳細を非表示

別書名 背表紙タイトル: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
NCID BA24686158

 類似資料