Web services and formal methods : 8th international workshop, WS-FM 2011 : Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers : Sep 2011, Clermont-Ferrand, France. (Lecture Notes in Computer Science ; 7176)
資料に関する注記
一般注記:
形態の詳細:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。