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

Progam derivation the development programs from specification
出版社：Sydney: Addison-Wesley, 1989.
ISBN：0201416247
出版年：1989
作者：Dromey,Geoff.
资源类型：图书
细分类型：西文文献,馆内阅览
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

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

Formal Methods of Progam Verification and Specification
  • 作者：H.K.Berg
  • ISBN：0133288072
  • 出版社：0000.00
...

From egg to embryo : regional specification in early development
  • 作者：Slack,J. M.W.
  • ISBN：0521409438 161.53
  • 出版社：Cambridge : The Univ. Pr., c1991
  • 出版年：1991
...

From egg to embryo : regional specification in early development
  • 作者：Slack,J. M.W.
  • ISBN：0521409438
  • 出版社：Cambridge : The Univ. Pr., c1991
  • 出版年：1991
...

The specification of computer programs
  • 作者：Turski,Władysław.
  • ISBN：0201142260
  • 出版社：Wokingham, England ; Reading, Mass. : Addison-Wesley, c1987.
  • 出版年：1987