関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Integratedcircuits -- Verification -- Congresses.
選択行を：
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
| 1 |  | Computer-aided verification : proceedings Berlin : alk. paper , N.Y. : alk. paper ( Lecture notes in computer science ; 531 ) | 中央図書館 | 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, E.M. Clarke, R.P. Kurshan (eds.). | Springer-Verlag | 1991 | 中央５階洋 007.1||L 49||531 |
| 2 | | Hardware specification, verification, and synthesis : Mathematical aspects : proceedings U.S. ( Lecture notes in computer science ; 408 ) | 中央図書館 | M. Leeser, G. Brown, eds., Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 proceedings.-- | Springer-Verlag | 1990 | 中央５階洋 007.1||L 49||408 |
選択行を：
|