Tests and proofs : 16th International Conference TAP 2022 held as part of STAF 2022 Nantes Franc

出版社:Cham : Springer, 2022.
ISBN:9783031098260
出版年:2022
作者:TAP 2022
资源类型:图书
细分类型:西文文献
相关推荐

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

Graph transformation : 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes,

  • 作者:ICGT 2022
  • ISBN:9783031098420
  • 出版社:Cham : Springer, 2022.
  • 出版年:2022