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.

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.

Call No. (NDL): M17-13-3179
Bibliographic ID of National Diet Library: 024631240

Material type: 図書

Author: FMCAD (Conference) (12th : 2012 : Cambridge, England)ほか

Publisher: IEEE

Publication date: c2012.

Material Format: Paper

Capacity, size, etc.: vi, 209 p. ; 27 cm.

NDC: -

View All

Notes on use

Note (General)：: 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 year...

Other physical details：: ill.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9781467348324 (print)
Title: 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.
Author Heading: FMCAD (Conference) (12th : 2012 : Cambridge, England)
Microsoft Research Cambridge.
Publication, Distribution, etc.: Piscataway : IEEE
Publication Date: c2012.
Publication Date (W3CDTF): 2012
Extent: vi, 209 p.
Other physical details: ill.
Size: 27 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: 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
Target Audience: 一般
Note (General): 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.
Note (Bibliography): Includes bibliographical references and author index.
Source: IEEE Xplore
http://ieeexplore.ieee.org/servlet/opac?punumber=6450168
Holding library: 国立国会図書館
Call No.: M17-13-3179
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 024631240
http://id.ndl.go.jp/bib/024631240
OCLC No.: 835909761
https://www.worldcat.org/oclc/835909761
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215