Leveraging applications of formal methods, verification and validation : 6th international symposium, ISoLA 2014 : Imperial, Corfu, Greece, October 8-11, 2014 : proceedings : ISoLA 2014 conference : Oct 2014, Imperial, Greece. (Lecture Notes in Computer Science ; 8802-8803)
資料に関する注記
一般注記:
形態の詳細:
資料詳細
内容細目:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。