NASA formal methods : 15th international symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, pro

NASA formal methods : 15th international symposium NFM 2023 Houston TX USA May 16-18 2023 pro

出版社：Cham : Springer, 2023.,Cham, Switzerland : Springer, 2023.

ISBN：9783031331695

出版年：2023

作者：NFM 2023

资源类型：图书

细分类型：中文文献,西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

NASA formal methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017

作者：NFM 2017
ISBN：9783319572871
出版社：Switzerland : Springer, 2017.
出版年：2017

NASA formal methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proce

作者：NFM 2019
ISBN：9783030206512
出版社：Cham : Springer, 2019.
出版年：2019

Nasa formal methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 201

作者：NFM 2014
ISBN：9783319061993
出版社：Cham : Springer, 2014.
出版年：2014

NASA formal methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 202

作者：NFM 2020
ISBN：9783030557539
出版社：Cham, Switzerland : Springer, 2020.
出版年：2020

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013

作者：NFM 2013
ISBN：9783642380877
出版社：Berlin ; New York : Springer, c2013.
出版年：2013

NASA formal methods : 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : pro

作者：NFM 2012
ISBN：9783642288906
出版社：Berlin : Springer, 2012.
出版年：2012