2013 eleventh IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2013) : Portland, Oregon, USA : 18-20 October 2013 : 11th ACM-IEEE international conference on formal methods and models for codesign : Oct 2013, Portland, OR. CFP13MCD-PRT

2013 eleventh IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2013) : Portland, Oregon, USA : 18-20 October 2013 : 11th ACM-IEEE international conference on formal methods and models for codesign : Oct 2013, Portland, OR.

Call No. (NDL): M17-14-2052
Bibliographic ID of National Diet Library: 025300085

Material type: 図書

Author: ACM and IEEE International Conference on Formal Methods and Models for Co-Design (11th : 2013 : Portland, OR)

Publisher: IEEE

Publication date: c2013.

Material Format: Paper

Capacity, size, etc.: ix, 193 p. ; 27 cm.

NDC: -

View All

Notes on use

Note (General)：: Selected papers and abstracts.Described as "MEMOCODE 2013 will take place on October 18 and 19, (...) we organized a joint tutorial day on Sunday Octo...

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: 9781479909049
Title: 2013 eleventh IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2013) : Portland, Oregon, USA : 18-20 October 2013 : 11th ACM-IEEE international conference on formal methods and models for codesign : Oct 2013, Portland, OR.
Author Heading: ACM and IEEE International Conference on Formal Methods and Models for Co-Design (11th : 2013 : Portland, OR)
Publication, Distribution, etc.: Piscataway : IEEE
Publication Date: c2013.
Publication Date (W3CDTF): 2013
Extent: ix, 193 p.
Other physical details: ill.
Size: 27 cm.
Additional Title: 2013 11th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2013) : Portland, Oregon, USA : 18-20 October 2013.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Computer simulation--Congresses.
Computer-aided design--Congresses.
Formal methods (Computer science)--Congresses.
LCC: QA76.9.C65
NDLC: M17
Target Audience: 一般
Note (General): Selected papers and abstracts.
Described as "MEMOCODE 2013 will take place on October 18 and 19, (...) we organized a joint tutorial day on Sunday October 20, 2013." -- p. vii.
IEEE cat no CFP13MCD-POD.
Note (Bibliography): Includes bibliographic references.
Report No.: CFP13MCD-PRT
Holding library: 国立国会図書館
Call No.: M17-14-2052
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 025300085
http://id.ndl.go.jp/bib/025300085
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215