2016 formal methods in computer-aided design : (FMCAD 2016) : Mountain View, California, USA : 3-6 October 2016 : 16th conference on formal methods in computer-aided design : international conference on formal methods in computer-aided design : FMCAD 2016 graduate student forum : Oct 2016, Mountain View, CA.

2016 formal methods in computer-aided design : (FMCAD 2016) : Mountain View, California, USA : 3-6 October 2016 : 16th conference on formal methods in computer-aided design : international conference on formal methods in computer-aided design : FMCAD 2016 graduate student forum : Oct 2016, Mountain View, CA.

Call No. (NDL): M17-18-1876
Bibliographic ID of National Diet Library: 028503151

Material type: 図書

Author: FMCAD (Conference) (16th : 2016 : Mountain View, Calif.)ほか

Publisher: IEEE

Publication date: [2016]

Material Format: Paper

Capacity, size, etc.: 204 pages ; 28 cm

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers."FMCAD 2016 featured a high quality program comprised of five parts: ... a tutorial day with four tutorials, ... a student forum,...

Other physical details：: illustrations

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: 9781538626924 (Print-On-Demand)
Title: 2016 formal methods in computer-aided design : (FMCAD 2016) : Mountain View, California, USA : 3-6 October 2016 : 16th conference on formal methods in computer-aided design : international conference on formal methods in computer-aided design : FMCAD 2016 graduate student forum : Oct 2016, Mountain View, CA.
Author Heading: FMCAD (Conference) (16th : 2016 : Mountain View, Calif.)
Piskac, Ruzica.
Talupur, Muralidhar.
Publication, Distribution, etc.: Piscataway, NJ : IEEE (出版)
Publication Date: [2016]
Publication Date (W3CDTF): 2016
Extent: 204 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: Formal methods (Computer science)--Congresses.
Computer systems--Computer-aided design--Congresses.
System design--Congresses.
Formal methods (Computer science)
System design.
LCC: QA76.9.F67
NDLC: M17
Target Audience: 一般
Note (General): Abstracts and papers.
"FMCAD 2016 featured a high quality program comprised of five parts: ... a tutorial day with four tutorials, ... a student forum, and finally the main program consisting of the accepted papers. ... FMCAD also offered the fourth edition of the Student Forum, ..."--Preface.
IEEE catalog number CFP16FMC-POD.
Note (Content): Annotation
Note (Bibliography): Includes bibliographical references.
Holding library: 国立国会図書館
Call No.: M17-18-1876
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 028503151
http://id.ndl.go.jp/bib/028503151
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215