2012 10th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2012) : Arlington, Virginia, USA : 16-17 July 2012 : 10th ACM/IEEE international conference on formal methods and models for codesign : Jul 2012, Arlington, VA. CFP12MCD-PRT

2012 10th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2012) : Arlington, Virginia, USA : 16-17 July 2012 : 10th ACM/IEEE international conference on formal methods and models for codesign : Jul 2012, Arlington, VA.

国立国会図書館請求記号: M17-13-2701
国立国会図書館書誌ID: 024308452

資料種別: 図書

著者: ACM and IEEE International Conference on Formal Methods and Models for Co-Design (10th : 2012 : Arlington, VA)

出版者: IEEE

出版年: c2012.

資料形態: 紙

ページ数・大きさ等: viii, 130 p. ; 28 cm.

NDC: -

すべて見る

資料に関する注記

一般注記：: Papers.IEEE cat no CFP12MCD-PRT.

形態の詳細：: ill.

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
ISBN: 9781467313148 (print)
タイトル: 2012 10th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2012) : Arlington, Virginia, USA : 16-17 July 2012 : 10th ACM/IEEE international conference on formal methods and models for codesign : Jul 2012, Arlington, VA.
著者標目: ACM and IEEE International Conference on Formal Methods and Models for Co-Design (10th : 2012 : Arlington, VA)
出版事項: Piscataway : IEEE
出版年月日等: c2012.
出版年（W3CDTF）: 2012
数量: viii, 130 p.
形態の詳細: ill.
大きさ: 28 cm.
出版地（国名コード）: US
本文の言語コード: eng
件名標目: Computer simulation--Congresses.
Computer-aided design--Congresses.
Formal methods (Computer science)--Congresses.
LCC: QA76.9.C65
NDLC: M17
対象利用者: 一般
一般注記: Papers.
IEEE cat no CFP12MCD-PRT.
書誌注記: Includes bibliographic references.
リポート番号: CFP12MCD-PRT
所蔵機関: 国立国会図書館
請求記号: M17-13-2701
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 024308452
http://id.ndl.go.jp/bib/024308452
OCLC番号: 835565306
https://www.worldcat.org/oclc/835565306
目録規則: 英米目録規則
整理区分コード: 215