Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings. : Dec 2009, Rio de Janeiro, Brazil.
(Lecture Notes in Computer Science ; 5885)
国立国会図書館請求記号
M17-10-1652
国立国会図書館書誌ID
000010644634
資料種別
図書
著者
Pontificia Universidade Catolica do Rio de Janeiro.ほか