Tools and algorithms for the construction and analysis of systems : 8th international conference, TA

Tools and algorithms for the construction and analysis of systems : 8th international conference TA

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

ISBN：3540434194

出版年：2002

作者：TACAS 2002

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Tools and algorithms for the construction and analysis of systems : 5th International Conference, TA

作者：Cleaveland,W. Rance
ISBN：3540657037
出版社：Berlin ; New York : Springer, c1999.
出版年：1999

Tools and algorithms for the construction and analysis of systems : 9th international conference, TA

作者：TACAS 2003
ISBN：3540008985
出版社：Berlin ; New York : Springer, c2003.
出版年：2003

Tools and algorithms for the construction and analysis of systems : 7th international conference, TA

作者：Margaria,Tiziana
ISBN：3540418652
出版社：New York : Springer, 2001.
出版年：2001

Tools and algorithms for the construction and analysis of systems : 7th International Conference, TA

作者：TACAS 2001
ISBN：3540418652
出版社：Berlin ; New York : Springer, c2001.
出版年：2000

Tools and algorithms for the construction and analysis of systems : 6th International Conference, TA

作者：TACAS 2000
ISBN：3540672826
出版社：Berlin ; New York : Springer, c2000.
出版年：1999

Tools and algorithms for the construction and analysis of systems : 26th International Conference, T

作者：TACAS 2020
ISBN：9783030451899
出版社：Cham, Switzerland : Springer Open, 2020.
出版年：2020