6th international workshop on specification and verification of component-based systems : SAVCBS 2007 : September 3-4, 2007 : Dubrovnik, Croatia. : Sep 2007, Dubrovnik, Croatia.
6th international workshop on specification and verification of component-based systems : SAVCBS 2007 : September 3-4, 2007 : Dubrovnik, Croatia. : Sep 2007, Dubrovnik, Croatia.
国立国会図書館請求記号
M17-09-1363
国立国会図書館書誌ID
000010070514
資料種別
図書
著者
International Workshop on Specification and Verification of Component-Based Systems (2007 : Dubrovnik, Croatia)ほか