2014 formal methods in computer-aided design : (FMCAD 2014) : Lausanne, Switzerland : 21-24 October 2014 : international conference on formal methods in computer-aided design : FMCAD 2014 graduate student forum : Oct 2014, Lausanne, Switzerland.

• Material Type: 図書
• ISBN: 9781479975778 (print)
• ISBN (error code): 978479975778
• Title: 2014 formal methods in computer-aided design : (FMCAD 2014) : Lausanne, Switzerland : 21-24 October 2014 : international conference on formal methods in computer-aided design : FMCAD 2014 graduate student forum : Oct 2014, Lausanne, Switzerland.
• Author Heading: FMCAD (Conference) (14th : 2014 : Lausanne, Switzerland); Claessen, Koen.; Kuncak, Viktor.
• Publication, Distribution, etc.: Piscataway, NJ : IEEE (出版)
• Publication Date: [2014]
• Publication Date (W3CDTF): 2014
• Extent: viii, 229 pages
• Other physical details: illustrations
• Size: 28 cm
• Place of Publication (Country Code): US
• Text Language Code: eng
• Genre/Form Terms: Conference papers and proceedings.
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: Digital integrated circuits--Computer-aided design--Congresses.; Integrated circuits--Verification--Congresses.; Formal methods (Computer science)--Congresses.; Digital integrated circuits--Computer-aided design.; Formal methods (Computer science); Integrated circuits--Verification.
• LCC: TK7874.65
• NDLC: M17
• Target Audience: 一般
• Note (General): Abstracts and papers.; Described as "The fourteenth conference in the series, FMCAD 2014, takes place October 20-23, 2014 in Lausanne, Switzerland."--Preface.; IEEE catalog number CFP14FMC-POD.
• Note (Bibliography): Includes bibliographical references and author index.
• Holding library: 国立国会図書館
• Call No.: M17-16-1394
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 027284530; http://id.ndl.go.jp/bib/027284530
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 215