2011 9th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2011) : Cambridge, United Kingdom : 11-13 July 2011 : Jul 2011, Cambridge, UK.
国立国会図書館請求記号
M17-12-1432
国立国会図書館書誌ID
000011305921
資料種別
図書
著者
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (9th : 2010 : Cambridge, England)