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

Parallel algorithm derivation and program transformation
出版社：Boston : Kluwer Academic, c1993.
ISBN：0792393627
出版年：1993
作者：Paige,Robert A.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Program derivation : the development of programs from specifications
  • 作者：Dromey,R. G.,
  • ISBN：0201416247 15.50
  • 出版社：Sydney ; Reading, Mass. : Addison-Wesley, c1989.
  • 出版年：1989
...

Logic Program Synthesis and Transformation
  • 作者：T.P.Clement
  • ISBN：3540197427
  • 出版社：0000.00
...

Program derivation : the development of programs from specifications
  • 作者：Dromey,R. G.,
  • ISBN：0201416247
  • 出版社：Sydney ; Reading, Mass. : Addison-Wesley, c1989.
  • 出版年：1989
...

Problem solving with Pascal : algorithm and program design
  • 作者：D''Alarcao,Hugo T.
  • ISBN：0023270306
  • 出版社：New York : Macmillan ; London : Collier Macmillan, c1988.
  • 出版年：1988
...

Program transformation and programming environments : proceedings ...
  • 作者：Peter Pepper.
  • ISBN：0387129324
  • 出版社：Berlin : Springer, 1984
  • 出版年：1984
...

Parallel computing and mathematical optimization : proceedings of the Workshop on Parallel Algorithm
  • 作者：Workshop on Parallel Algorithms and Transputers for Optimization
  • ISBN：3540544348
  • 出版社：Berlin : Springer, c1991.,Berlin : Springer, c1991
  • 出版年：1991