登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Algebraic and coalgebraic methods in the mathematics of program construction : international summer
出版社：Berlin ; New York : Springer, c2002.
ISBN：3540436138
出版年：2002
作者：School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Program construction : International Summer School
  • 作者：Bauer,Friedrich L.
  • ISBN：038709251X
  • 出版社：Berlin : Springer, 1979.
  • 出版年：1979
...

Mathematics of program construction : international conference, Groningen, The Netherlands, June 26-
  • 作者：Snepscheut,J.L.A. van de
  • ISBN：0387513051
  • 出版社：Berlin ; New York : Springer-Verlag, c1989.
  • 出版年：1989
...

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 : 11th International Conference, MPC 2012, Madrid, Spain, June 2
  • 作者：MPC 2012
  • ISBN：9783642311123
  • 出版社：Heidelberg : Springer, c2012.
  • 出版年：2012
...

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK
  • 作者：MPC 2004
  • ISBN：3540223800
  • 出版社：Berlin : Springer, c2004.
  • 出版年：2004
...

Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada,
  • 作者：MPC 2010
  • ISBN：9783642133206
  • 出版社：Berlin ; New York : Springer, 2010.
  • 出版年：2010