2009 formal methods in computer-aided design : (FMCAD 2009) : Austin, Texas, USA : 15-18 November 2009. : FMCAD 2009 conference : Nov 2009, Austin, TX.

• Material Type: 図書
• ISBN: 9781424449651
• Title: 2009 formal methods in computer-aided design : (FMCAD 2009) : Austin, Texas, USA : 15-18 November 2009. : FMCAD 2009 conference : Nov 2009, Austin, TX.
• Author Heading: Biere, Armin.; Pixley, Carl.; FMCAD 2009 (2009 : Austin, Tex.)
• Publication, Distribution, etc.: Piscataway : IEEE
• Publication Date: c2009.
• Publication Date (W3CDTF): 2009
• Extent: 212 p. : ill. ; 28 cm.
• Place of Publication (Country Code): US
• Text Language Code: eng
• Subject Heading: 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: TK7885.A1
• NDLC: M17
• Note (General): Abstracts and papers.; "FMCAD 2009, (...) is the ninth in a series of conferences on (...) " -- pref.; "In the past, FMCAD was held in the United States on even years and its sister conference, CHARME, was held in Europe on odd years. Recently, these two conferences decided to merge to form an annual conference (...) FMCAD is now a yearly conference." -- pref.; "On Sunday there were tutorials and (...) " -- pref.; IEEE cat no CFP09FMC-PRT.
• Note (Bibliography): Includes bibliographical references and author index.
• Holding library: 国立国会図書館
• Call No.: M17-10-3132
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000010901102; http://id.ndl.go.jp/bib/000010901102
• OCLC No.: 607920797; https://www.worldcat.org/oclc/607920797
• Bibliographic Record Category (NDL): 215