Formal methods - the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2

Formal methods - the next 30 years : third World Congress FM 2019 Porto Portugal October 7-11 2

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

ISBN：9783030309411

出版年：2019

作者：World Congress on Formal Methods

资源类型：图书

细分类型：西文文献

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised sele

作者：World Congress on Formal Methods
ISBN：9783030549961
出版社：Cham, Switzerland : Springer, 2020.
出版年：2020

Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised sele

作者：World Congress on Formal Methods
ISBN：9783030549930
出版社：Cham, Switzerland : Springer, 2020.
出版年：2020

Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019,

作者：RV 2019
ISBN：9783030320782
出版社：Cham, Switzerland : Springer, 2019.
出版年：2019

Static analysis : 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proce

作者：SAS 2019
ISBN：9783030323035
出版社：Cham, Switzerland : Springer, 2019.
出版年：2019

Universal multiservice networks : third European conference, ECUMN 2004, Porto, Portugal, October 25

作者：European Conference on Universal Multiservice Networks
ISBN：3540235515
出版社：Berlin : Springer-Verlag, c2004.
出版年：2004

FM 2011 : formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 2

作者：International Symposium of Formal Methods Europe
ISBN：9783642214363
出版社：Berlin ; New York : Springer, c2011.
出版年：2011