Tests and proofs : 9th International Conference TAP 2015 held as part of STAF 2015 L''Aquila Ital

出版社:Cham : Springer, [2015]
ISBN:9783319212142
出版年:2015
作者:TAP 2015
资源类型:图书
细分类型:西文文献
相关推荐

Graph transformation : 8th International Conference, ICGT 2015, held as part of STAF 2015, L''Aquila,

  • 作者:ICGT 2015
  • ISBN:9783319211442
  • 出版社:Cham : Springer, [2015]
  • 出版年:2015

Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Aus

  • 作者:TAP 2016
  • ISBN:9783319411347
  • 出版社:Switzerland : Springer, 2016.
  • 出版年:2016

Tests and proofs : 11th International Conference, TAP 2017, Held as part of STAF 2017, Marburg, Germ

  • 作者:TAP 2017
  • ISBN:9783319614663
  • 出版社:Cham, Switzerland : Springer, 2017.
  • 出版年:2017

Tests and proofs : 15th International Conference, TAP 2021, held as part of STAF 2021, Virtual event

  • 作者:TAP 2021
  • ISBN:9783030793784
  • 出版社:Cham : Springer, 2021.
  • 出版年:2021

Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, Fra

  • 作者:TAP 2018
  • ISBN:9783319929934
  • 出版社:Cham, Switzerland : Springer, 2018.
  • 出版年:2018

Tests and proofs : 8th International Conference, TAP 2014, held as part of STAF 2014, York, UK, July

  • 作者:TAP 2014
  • ISBN:9783319090986
  • 出版社:Cham : Springer, 2014.
  • 出版年:2014