Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
お気に入り図書館の蔵書
設定
詳しい情報
出版社: Springer(2024-09-13)
ペーパーバック: 676 ページ / 15.5 x 3.9 x 23.5 cm
ISBN-10: 3031711769 ISBN-13: 9783031711763