2015 ACM/IEEE international conference on formal methods and models for codesign : (MEMOCODE 2015) : Austin, Texas, USA : 21-23 September 2015 : Sep 2015, Austin, TX.

Author: ACM and IEEE International Conference on Formal Methods and Models for Co-Design (13th : 2015 : Austin, Tex.)

Notes on use

Search by Bookstore

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

Material Type: 図書
ISBN: 9781467376686
Title: 2015 ACM/IEEE international conference on formal methods and models for codesign : (MEMOCODE 2015) : Austin, Texas, USA : 21-23 September 2015 : Sep 2015, Austin, TX.
Author Heading: ACM and IEEE International Conference on Formal Methods and Models for Co-Design (13th : 2015 : Austin, Tex.)
Publication, Distribution, etc.: Piscataway, NJ : IEEE (出版)
Publication Date: [2015]
Publication Date (W3CDTF): 2015
Extent: 257 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.
Formal methods (Computer science)
LCC: QA76.9.F67
NDLC: M17
Target Audience: 一般
Note (General): Abstracts and papers.
IEEE catalog number CFP15MCD-POD.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-17-913
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 027599108
http://id.ndl.go.jp/bib/027599108
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215