Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
詳しい情報
出版社: Springer(2024-09-11)
ペーパーバック: 704 ページ / 15.5 x 4.0 x 23.5 cm
ISBN-10: 3031711610 ISBN-13: 9783031711619