NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings (Lecture Notes in Computer Science 15682)
  • 洋書

NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings (Lecture Notes in Computer Science 15682)

Herausgegeben:Dutle, Aaron/Humphrey, Laura/Titolo, Laura

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ご注文いただけません