このページのリンク

利用統計

  • このページへのアクセス:6回

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Current trends in hardware verification and automated theorem proving

責任表示 G. Birtwistle, P.A. Subrahmanyam, editors
データ種別 図書
出版者 New York ; Tokyo : Springer-Verlag
出版年 c1989
本文言語 英語
大きさ viii, 489 p. : ill. ; 24 cm
概要 Papers based on a workshop on hardware verification held in Banff, Canada, June 1988, provide perspectives on the state of the art. Contains examples of different approaches to hardware verification, ...urrent technology and research trends in automated theorem proving systems, and architectures. Annotation copyrighted by Book News, Inc., Portland, OR続きを見る

所蔵情報


理系図2F 開架 068252189010185 549.3/B 46 1989

書誌詳細

一般注記 Includes index
著者標目 Subrahmanyam, P. A.
Birtwistle, G. M. (Graham M.)
件 名 LCSH:Integrated circuits -- Very large scale integration -- Design and construction  全ての件名で検索
LCSH:Automatic theorem proving
分 類 LCC:TK7874
DC19:621.395
書誌ID 1001120841
ISBN 0387969888
NCID BA07099994
巻冊次 : u.s. ; ISBN:0387969888
: g.w. ; ISBN:3540969888
登録日 2009.09.17
更新日 2009.09.17

類似資料