Formal methods : 24th International Symposium, FM 2021, virtual event, November 20-26, 2021, proceed

Formal methods : 24th International Symposium FM 2021 virtual event November 20-26 2021 proceed

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

ISBN：9783030908690

出版年：2021

作者：International Symposium of Formal Methods Europe

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Formal methods : foundations and applications : 24th Brazilian Symposium, SBMF 2021, virtual event,

作者：Brazilian Symposium on Formal Methods
ISBN：9783030921361
出版社：Cham : Springer, 2021.
出版年：2021

Information security : 24th international conference, ISC 2021, virtual event, November 10-12, 2021

作者：ISC 2021
ISBN：9783030913557
出版社：Cham : Springer, 2021.
出版年：2021

NASA formal methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proce

作者：NFM 2021
ISBN：9783030763831
出版社：Cham : Springer, 2021.
出版年：2021

Formal methods teaching : 4th International Workshop and Tutorial, FMTea 2021 virtual event, Novembe

作者：FMTea 2021
ISBN：9783030915490
出版社：Cham : Springer, 2021.
出版年：2021

Software engineering and formal methods : 19th International Conference, SEFM 2021, Virtual event, D

作者：International Conference on Software Engineering and Formal Methods
ISBN：9783030921231
出版社：Cham : Springer, 2021.
出版年：2021

FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, proceedings

作者：International Symposium of Formal Methods Europe
ISBN：9783319192482
出版社：Cham : Springer, 2015.
出版年：2015