Formal aspects of component software : 7th international workshop FACS 2010 Guimaraes Portugal O

出版社:Berlin : Springer, c2012.
ISBN:9783642272684
出版年:2012
作者:International Workshop on Formal Aspects of Component Software
资源类型:图书
细分类型:西文文献
相关推荐

Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, Oc

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

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 : 18th international conference, FACS 2022, virtual event, Nove

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

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

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

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 : 17th International Conference, FACS 2021, Virtual event, Octo

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