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

Program derivation : the development of programs from specifications
出版社：Sydney ; Reading, Mass. : Addison-Wesley, c1989.
ISBN：0201416247 15.50
出版年：1989
作者：Dromey,R. G.,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

Progam derivation the development programs from specification
  • 作者：Dromey,Geoff.
  • ISBN：0201416247
  • 出版社：Sydney: Addison-Wesley, 1989.
  • 出版年：1989
...

Program construction : calculating implementations from specifications
  • 作者：Backhouse,Roland C.,
  • ISBN：0470848820
  • 出版社：Chichester, West Sussex, England : Wiley, c2003.
  • 出版年：2003
...

Parallel algorithm derivation and program transformation
  • 作者：Paige,Robert A.
  • ISBN：0792393627
  • 出版社：Boston : Kluwer Academic, c1993.
  • 出版年：1993
...

Action diagrams : clearly structured specifications, programs, and procedures
  • 作者：Martin,James
  • ISBN：0130042684
  • 出版社：Englewood Cliffs : Prentice-Hall, c1989
  • 出版年：1989
...

Action diagrams : clearly structured specifications, programs, and procedures
  • 作者：Martin,James
  • ISBN：0130042684 5.40
  • 出版社：Englewood Cliffs : Prentice-Hall, c1989
  • 出版年：1989