Tests and proofs : 7th international conference, TAP 2013 : Budapest, Hungary, June 16-20, 2013 : proceedings : software technologies: applications and foundations (STAF) federated event : Jun 2013, Budapest, Hungary.
(Lecture Notes in Computer Science ; 7942)
国立国会図書館請求記号
M17-13-3387
国立国会図書館書誌ID
024657819
資料種別
図書
著者
TAP (Conference) (7th : 2013 : Budapest, Hungary)ほか