紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
NASA formal methods/ edited by Nathaniel Benz, Divya Gopinath, Nija Shi. |
其他題名: |
16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024 : proceedings / |
其他題名: |
NFM 2024 |
其他作者: |
Benz, Nathaniel. |
團體作者: |
NFM (Symposium) |
出版者: |
Cham :Springer Nature Switzerland : : 2024., |
面頁冊數: |
xxiii, 438 p. :ill. (some col.), digital ;24 cm. |
Contained By: |
Springer Nature eBook |
標題: |
Formal methods (Computer science) - Congresses. - |
電子資源: |
https://doi.org/10.1007/978-3-031-60698-4 |
ISBN: |
9783031606984 |