中古あり ￥23,088より
(2025/11/28 12:45:33時点)
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Programming and Software Engineering)
お気に入り図書館の蔵書
設定
詳しい情報
出版社: Springer(2019-05-28)
ペーパーバック: 416 ページ / 15.5 x 2.4 x 23.5 cm
ISBN-10: 3030206513 ISBN-13: 9783030206512