Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)Bernhard Beckert / Ferruccio Damiani / Frank S. de Boer / Marcello M. Bonsangue Amazon.co.jp 価格 ¥7,671. 在庫あり 2025年12月26日 20時26分 JST時点 - 詳細はこちら Amazonで購入する 他のショップで探す |