このページのリンク

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri (eds.)
(Lecture notes in computer science ; 1166)

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

所蔵情報を非表示

書庫2階 TK:7874.65:F53:1996

002249175

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *FMCAD '96 (1996 : Palo Alto, Calif.)
Srivas, Mandayam
Camilleri, Albert
件 名 LCSH:Digital integrated circuits -- Design and construction -- Data processing -- Congresses  全ての件名で検索
LCSH:Computer-aided design -- Congresses  全ての件名で検索
LCSH:Automatic theorem proving -- Congresses  全ての件名で検索
LCSH:Integrated circuits -- Verification -- Congresses  全ての件名で検索
分 類 LCC:TK7874.65
DC20:621.39/2
巻冊次 : alk paper ; ISBN:3540619372 REFWLINK
ISBN 3540619372
NCID BA2889116X WCLINK
目次/あらすじ

 類似資料