Formal methods in computer aided design, FMCAD 2007, November 11-14, 2007, Austin, Texas, USA : proceedings

• 資料種別: 図書
• ISBN: 9780769530239
• タイトル: Formal methods in computer aided design, FMCAD 2007, November 11-14, 2007, Austin, Texas, USA : proceedings
• 著者標目: FMCAD (Conference); https://ci.nii.ac.jp/author/DA10301761; Baumgartner, Jason; Sheeran, Mary
• 出版事項: IEEE Computer Society
• 出版年月日等: c2007
• 出版年（W3CDTF）: 2007
• 大きさ: 28 cm
• 並列タイトル等: Seventh international conference on formal methods in computer-aided design (FMCAD 2007), Austin, Texas, USA, 11-14 November 2007
• 出版地（国名コード）: us
• 本文の言語コード: en
• 件名標目: Digital integrated circuits -- Computer-aided design -- Congresses; Integrated circuits -- Verification -- Congresses; Formal methods (Computer science) -- Congresses; Digital integrated circuits -- Design and construction -- Mathematics -- Congresses
• LCC: TK7874.65
• 対象利用者: 一般
• 一般注記: "IEEE Computer Society Order Number P3023."--T. p. verso; "Jason Baumgartner, Mary Sheeran, chairs"--p. ix; Includes bibliographical references and author index
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BB02260091#entity; https://lccn.loc.gov/2007935533
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BB02260091 : BB02260091
• LC control number: 2007935533; https://lccn.loc.gov/2007935533