<図書>

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)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1166 2012651416

8290/保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c1996
大きさ ix, 470 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *FMCAD (Conference)
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
本文言語 英語
書誌ID 2000501640
ISBN 3540619372
NCID BA2889116X WCLINK

類似資料

  1. 1 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.)
  2. 2 Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley, (eds.)
  3. 3 Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt Jr., Steven D. Johnson (eds.)
  4. 4 Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.)
  5. 5 Efficient branch and bound search with application to computer-aided design / by Xinghao Chen and Michael L. Bushnell
  6. 6 Understanding behavioral synthesis : a practical guide to high-level design / John P. Elliott
  7. 7 Evolvable systems : from biology to hardware : First International Conference, ICES 96 Tsukuba, Japan, October 7-8, 1996 : proceedings / Tetsuya Higuchi, Masaya Iwata, Weixin Liu (eds.)
  8. 8 Evolvable systems : from biology to hardware : Second International Conference, ICES 98, Lausanne, Switzerland, September 23-25, 1998 : proceedings / Moshe Sipper, Daniel Mange, Andrés Pérez-Uribe (eds.)
  9. 9 Symbolic model checking / by Kenneth L. McMillan
  10. 10 Mechanized reasoning and hardware design / edited by C.A.R. Hoare and M.J.C. Gordon

検索結果一覧に戻る ページトップ