Mathematics of program construction : international conference Groningen The Netherlands June 26-

出版社:Berlin ; New York : Springer-Verlag, c1989.
ISBN:0387513051
出版年:1989
作者:Snepscheut,J.L.A. van de
资源类型:图书
细分类型:西文文献
相关推荐

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3,

  • 作者:bird,R.S.
  • ISBN:3540566252
  • 出版社:Berlin ; New York : Springer-Verlag, c1993.
  • 出版年:1993

Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 2

  • 作者:MPC 2012
  • ISBN:9783642311123
  • 出版社:Heidelberg : Springer, c2012.
  • 出版年:2012

Information security : 26th international conference, ISC 2023, Groningen, the Netherlands, November

  • 作者:ISC 2023
  • ISBN:9783031491863
  • 出版社:Cham : Springer, 2023.,Cham, Switzerland : Springer, 2023.
  • 出版年:2023

Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada,

  • 作者:MPC 2010
  • ISBN:9783642133206
  • 出版社:Berlin ; New York : Springer, 2010.
  • 出版年:2010

Mathematics of program construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, Sep

  • 作者:MPC 2022
  • ISBN:9783031169113
  • 出版社:Cham, Switzerland : Springer, 2022.
  • 出版年:2022

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK

  • 作者:MPC 2004
  • ISBN:3540223800
  • 出版社:Berlin : Springer, c2004.
  • 出版年:2004