Formal methods for eternal networked software systems : 11th International School on Formal Methods

Formal methods for eternal networked software systems : 11th International School on Formal Methods

出版社：Berlin ; Heidelberg ; New York : Springer, c2011.

ISBN：9783642214547

出版年：2011

作者：International School on Formal Methods for the Design of Computer,Communication,and Software Syste

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, S

作者：International Conference on Software Engineering and Formal Methods
ISBN：9783642405600
出版社：Berlin ; New York : Springer, c2013.
出版年：2013

Formal methods for software architectures : Third International School on Formal Methods for the Des

作者：International School on Formal Methods for the Design of Computer,Communication and Software System
ISBN：3540200835
出版社：Berlin ; New York : Springer, 2003.
出版年：2003

Formal methods for software architectures : Third International School on Formal Methods for the Des

作者：International School on Formal Methods for the Design of Computer,Communication and Software System
ISBN：3540200835 XEU39.00
出版社：Berlin ; New York : Springer, 2003.
出版年：2003

Formal methods for executable software models : 14th International School on Formal Methods for the

作者：International School on Formal Methods for the Design of Computer,Communication,and Software Syste
ISBN：9783319073163
出版社：Cham : Springer, c2014.
出版年：2014

Formal methods for computational systems biology : 8th International School on Formal Methods for th

作者：International School on Formal Methods for the Design of Computer,Communication,and Software Syste
ISBN：9783540688921
出版社：Berlin ; New York : Springer, 2008.
出版年：2008

Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of

作者：International School on Formal Methods for the Design of Computer,Communication,and Software Syste
ISBN：9783642388736
出版社：Berlin ; New York : Springer, c2013.
出版年：2013