2012 formal methods in computer-aided design : (FMCAD 2012) : Cambridge, United Kingdom : 22-25 October 2012 : international conference on formal methods in computer-aided design : 12th conference on formal methods in computer-aided design : Oct 2012, Cambridge, UK.

• 資料種別: 図書
• ISBN: 9781467348324 (print)
• タイトル: 2012 formal methods in computer-aided design : (FMCAD 2012) : Cambridge, United Kingdom : 22-25 October 2012 : international conference on formal methods in computer-aided design : 12th conference on formal methods in computer-aided design : Oct 2012, Cambridge, UK.
• 著者標目: FMCAD (Conference) (12th : 2012 : Cambridge, England); Microsoft Research Cambridge.
• 出版事項: Piscataway : IEEE
• 出版年月日等: c2012.
• 出版年（W3CDTF）: 2012
• 数量: vi, 209 p.
• 形態の詳細: ill.
• 大きさ: 27 cm.
• 出版地（国名コード）: US
• 本文の言語コード: eng
• 件名標目: Digital integrated circuits--Computer-aided design--Congresses.; Integrated circuits--Verification--Congresses.; Computer-aided design--Congresses.; Formal methods (Computer science)--Congresses.
• LCC: TK7885.A1
• NDLC: M17
• 対象利用者: 一般
• 一般注記: Abstracts and papers.; "In the past, FMCAD took place in the United States on even years and its sister conference CHARME was held in Europe on odd years. In 2006, these two conferences merged to form an annual conference (...) The merged conference inherited the name FMCAD, and is now held yearly." -- pref.; IEEE cat no CFP12FMC-PRT.
• 書誌注記: Includes bibliographical references and author index.
• 一次資料へのリンクURL: IEEE Xplore; http://ieeexplore.ieee.org/servlet/opac?punumber=6450168
• 所蔵機関: 国立国会図書館
• 請求記号: M17-13-3179
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 024631240; http://id.ndl.go.jp/bib/024631240
• OCLC番号: 835909761; https://www.worldcat.org/oclc/835909761
• 目録規則: 英米目録規則
• 整理区分コード: 215