Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)Elvira Albert / Emil Sekerinski Amazon.co.jp 価格 ¥7,472. 在庫あり 2024年07月07日 03時31分 JST時点 - 詳細はこちら Amazonで購入する 他のショップで探す |