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

Program construction : calculating implementations from specifications
出版社：Chichester, West Sussex, England : Wiley, c2003.
ISBN：0470848820
出版年：2003
作者：Backhouse,Roland C.,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

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

Program construction
  • 作者：Bauer,F. L.
  • ISBN：354009251X
  • 出版社：Berlin: Springer-Verlag, 1979.
  • 出版年：1979
...

Program construction
  • 作者：International Summer School.
  • ISBN：038709251X
  • 出版社：Berlin ; New York : Springer-Verlag, 1979.
  • 出版年：1979
...

Programming from specifications
  • 作者：Morgan,Carroll,
  • ISBN：0137262256
  • 出版社：New York : Prentice Hall, 1990.
  • 出版年：1990
...

Generating software from specifications
  • 作者：Kastens,Uwe.
  • ISBN：0763741248 491.45 491.45
  • 出版社：Sudbury, Mass. : Jones and Bartlett Publishers, 2007.
  • 出版年：2007