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

The design of well-structured and correct programs
出版社：New York : Springer-Verlag, c1978.
ISBN：0387902996
出版年：1978
作者：Alagić,Suad,
资源类型：图书
细分类型：西文文献,馆内阅览
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

The design of well-structured and correct programs
  • 作者：Alagic,S.
  • ISBN：0000000000
  • 出版社：Berlin : Springer, 1978.
  • 出版年：1978
...

The well-structured paragraph.
  • 作者：Williams,Barbara,
  • ISBN：0675093112
  • 出版社：Columbus, Ohio, Merrill [1970]
  • 出版年：1970
...

Proving programs correct
  • 作者：Anderson,Robert B.
  • ISBN：0000000000
  • 出版社：New York : Wiley, 1979.
  • 出版年：1979
...

Using structured design : how to make programs simple, changeable, flexible, and reusable
  • 作者：Stevens,Wayne P.,
  • ISBN：0471081981
  • 出版社：New York : Wiley, c1981.
  • 出版年：1981
...

Proving programs correct
  • 作者：Anderson,Robert B.
  • ISBN：0471033952
  • 出版社：New York : Wiley, c1979.
  • 出版年：1979
...

Correct antidifferentiation : the change of variable well done
  • 作者：Martínez-Abejón,Antonio,
  • ISBN：9789811227455
  • 出版社：New Jersey : World Scientific, 2021.
  • 出版年：2021