Formal aspects of component software : 9th International Symposium FACS 2012 Mountain View CA US

出版社:Berlin ; New York : Springer, c2013.
ISBN:9783642358609
出版年:2013
作者:International Workshop on Formal Aspects of Component Software
资源类型:图书
细分类型:西文文献
相关推荐

Formal aspects of component software : 10th international symposium, FACS 2013, Nanchang, China, Oct

  • 作者:International Workshop on Formal Aspects of Component Software
  • ISBN:9783319076010
  • 出版社:Cham : Springer, 2014.
  • 出版年:2014

Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, Se

  • 作者:International Workshop on Formal Aspects of Component Software
  • ISBN:9783319153162
  • 出版社:Cham : Springer, [2015]
  • 出版年:2015

Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, Septemb

  • 作者:International Workshop on Formal Aspects of Component Software
  • ISBN:9783642357428
  • 出版社:Berlin ; New York : Springer, c2012.
  • 出版年:2012

Formal aspects of component software : 13th International Conference, FACS 2016, Besançon, France,

  • 作者:International Workshop on Formal Aspects of Component Software
  • ISBN:9783319576657
  • 出版社:Cham : Springer, 2017.
  • 出版年:2017

Formal aspects of component software : 17th International Conference, FACS 2021, Virtual event, Octo

  • 作者:International Workshop on Formal Aspects of Component Software
  • ISBN:9783030906351
  • 出版社:Cham, Switzerland : Springer, 2021.
  • 出版年:2021

Formal aspects of component software : 16th International Conference, FACS 2019, Amsterdam, the Neth

  • 作者:International Workshop on Formal Aspects of Component Software
  • ISBN:9783030409135
  • 出版社:Cham, Switzerland : Springer, 2020.
  • 出版年:2020