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

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 : 11th International Conference, MPC 2012, Madrid, Spain, June 2

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

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

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

The Fouth International Conference on Creating, Connecting and Collaborating through Computing : 26-

  • 作者:Conference on Creating,Connecting and Collaborating through Computing
  • ISBN:0769525636
  • 出版社:Los Alamitos, Calif. : IEEE Computer Society, c2006.
  • 出版年:2006

Mathematics of program construction : 13th International Conference, MPC 2019, Porto, Portugal, Octo

  • 作者:MPC 2019
  • ISBN:9783030336356
  • 出版社:Cham, Switzerland : Springer, 2019.
  • 出版年:2019