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

出版社:Heidelberg : Springer, [2014].
ISBN:9783642548611
出版年:2014
作者:TACAS 2014
资源类型:图书
细分类型:西文文献
相关推荐

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

  • 作者:TACAS 2020
  • ISBN:9783030452360
  • 出版社:Cham, Switzerland : Springer, 2020.
  • 出版年:2020

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

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

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

  • 作者:TACAS 2013
  • ISBN:9783642367410
  • 出版社:Berlin ; New York : Springer, c2013.
  • 出版年:2013

Tools and algorithms for the construction and analysis of systems : 15th international conference, T

  • 作者:TACAS 2009
  • ISBN:9783642007675
  • 出版社:Berlin : Springer, c2009.
  • 出版年:2009

Tools and algorithms for the construction and analysis of systems : 14th international conference, T

  • 作者:TACAS 2008
  • ISBN:9783540787990
  • 出版社:Berlin ; New York : Springer, 2008.
  • 出版年:2008

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

  • 作者:TACAS 2021
  • ISBN:9783030720155
  • 出版社:Cham, Switzerland : Springer, 2021.
  • 出版年:2021