Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science)
お気に入り図書館の蔵書
設定
詳しい情報
出版社: Springer(2022-10-10)
ペーパーバック: 460 ページ / 15.5 x 2.6 x 23.5 cm
ISBN-10: 3031172434 ISBN-13: 9783031172434