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.
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.
国立国会図書館請求記号
M17-17-913
国立国会図書館書誌ID
027599108
資料種別
図書
著者
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (13th : 2015 : Austin, Tex.)