FM 2005: formal methods : international symposium of formal methods Europe : Newcastle, UK, July 18-22, 2005 : proceedings. : 13th international symposium on formal methods : FM 2005 conference : Jul 2005, Newcastle upon Tyne, UK.
(Lecture Notes in Computer Science ; 3582)
国立国会図書館請求記号
M17-05-1938
国立国会図書館書誌ID
000007871916
資料種別
図書
著者
University of Newcastle upon Tyne. Centre for Software Reliability.ほか