Formal grammar : 17th and 18th International Conferences FG 2012/2013 Opole Poland August 2012 :

出版社:Berlin : Springer, c2013.
ISBN:9783642399978
出版年:2013
作者:FG 2012
资源类型:图书
细分类型:西文文献
相关推荐

Formal grammar : 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010,

  • 作者:FG 2010
  • ISBN:9783642320231
  • 出版社:Berlin : Springer, c2012.
  • 出版年:2012

FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceed

  • 作者:International Symposium of Formal Methods Europe
  • ISBN:9783642327582
  • 出版社:Berlin ; New York : Springer, c2012.
  • 出版年:2012

Formal grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, re

  • 作者:FG 2015
  • ISBN:9783662530412
  • 出版社:Berlin : Springer, 2016.
  • 出版年:2016

Formal grammar : 19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : pro

  • 作者:FG 2014
  • ISBN:9783662441206
  • 出版社:Heidelberg : Springer, 2014.
  • 出版年:2014

Formal grammar : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019 : proceedings

  • 作者:FG 2019
  • ISBN:9783662596470
  • 出版社:Berlin : Springer, 2019.
  • 出版年:2019

Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, Fra

  • 作者:FMICS 2012
  • ISBN:9783642324680
  • 出版社:Berlin ; New York : Springer, c2012.
  • 出版年:2012