愛知工業大学附属図書館
ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス 利用者サービス ▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • ILL複写依頼
    • ILL貸借依頼
    • 新規購入依頼

愛知工業大学附属図書館

検索結果一覧へ戻る

Current trends in hardware verification and automated theorem proving

G. Birtwistle, P.A. Subrahmanyam, editors ; : u.s., : g.w.. -- Springer-Verlag, 1989. <BB00006513>
便利機能：
目次・あらすじを見る 詳細情報を見る
書誌URL：

Current trends in hardware verification and automated theorem proving

G. Birtwistle, P.A. Subrahmanyam, editors ; : u.s., : g.w.. -- Springer-Verlag, 1989. <BB00006513>
便利機能：
目次・あらすじを見る 詳細情報を見る
書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 図書館 電動集密洋書 548.2||B 001971589 書架 0件
No. 0001
巻号
所蔵館 図書館
配置場所 電動集密洋書
請求記号 548.2||B
資料ID 001971589
状態 書架
返却予定日
予約 0件
このページのTOPへ
このページのTOPへ

書誌詳細

標題および責任表示 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
巻号情報
巻次等 : u.s.
ISBN 0387969888
巻号情報
巻次等 : g.w.
ISBN 3540969888
注記 Includes index
学情ID BA07099994
本文言語コード 英語
著者標目リンク Subrahmanyam, P. A. <>
著者標目リンク Birtwistle, G. M. (Graham M.) <>
分類標目 LCC:TK7874
分類標目 DC19:621.395
件名標目等 Integrated circuits -- Very large scale integration -- Design and construction
件名標目等 Automatic theorem proving
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    資料を取り寄せる

    • ILL複写依頼(コピー取り寄せ)
    • ILL貸借依頼(現物借用)