NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings (Programming and Software Engineering)

出版社: Springer(2020-08-09)

ペーパーバック: 468 ページ / 15.5 x 2.7 x 23.5 cm

ISBN-10: 3030557537  ISBN-13: 9783030557539