2016 ACM/IEEE international conference on formal methods and models for system design : (MEMOCODE 2016) : Kanpur, India : 18-20 November 2016 : 14th ACM-IEEE international conference on formal methods and models for system design : Nov 2016, Kanpur, India.
国立国会図書館請求記号
M17-18-456
国立国会図書館書誌ID
028304569
資料種別
図書
著者
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (14th : 2016 : Kānpur, India)