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 : 9th international conference, MPC 2008, Marseille, France, Jul

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

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portuga

  • 作者:Backhouse,Roland C.,
  • ISBN:3540677275
  • 出版社:New York : Springer, c2000.
  • 出版年:2000