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

Unifying theories of programming : 7th International Symposium UTP 2019 dedicated to Tony Hoare on
出版社：Cham, Switzerland : Springer, 2019.
ISBN：9783030310370
出版年：2019
作者：UTP 2019
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Unifying theories of programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4
  • 作者：UTP 2016
  • ISBN：9783319522272
  • 出版社：Cham : Springer, 2017.
  • 出版年：2017
...

Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014 :
  • 作者：UTP 2014
  • ISBN：9783319148052
  • 出版社：Cham : Springer, 2015.
  • 出版年：2015
...

Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-2
  • 作者：UTP 2012
  • ISBN：9783642357046
  • 出版社：Berlin ; New York : Springer, c2013.
  • 出版年：2013
...

Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County
  • 作者：UTP 2006
  • ISBN：354034750X
  • 出版社：Berlin ; New York : Springer, c2006.
  • 出版年：2006
...

Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, Novembe
  • 作者：UTP 2010
  • ISBN：9783642166891
  • 出版社：Berlin ; New York : Springer, c2010.
  • 出版年：2010
...

Unifying theories of programming : second international symposium, UTP 2008, Dublin, Ireland, Septem
  • 作者：UTP 2008
  • ISBN：9783642145209
  • 出版社：Berlin ; New York : Springer, c2010.
  • 出版年：2010