中古あり ￥10,772より
(2025/10/14 17:04:28時点)
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Programming and Software Engineering)
詳しい情報
出版社: Springer(2015-06-02)
ペーパーバック: 628 ページ / 15.5 x 3.6 x 23.5 cm
ISBN-10: 3319192485 ISBN-13: 9783319192482