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

Proving programs correct
出版社：New York : Wiley, 1979.
ISBN：0000000000
出版年：1979
作者：Anderson,Robert B.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

The design of well-structured and correct programs
  • 作者：Alagić,Suad,
  • ISBN：0387902996
  • 出版社：New York : Springer-Verlag, c1978.
  • 出版年：1978
...

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

Construction, amélioration et vérification de programmes = Proving and improving programs
  • 作者：Huet,G.
  • ISBN：2726100635
  • 出版社：Rocquencourt : I.R.I.A., 1975.
  • 出版年：1975
...

Proceedings of an ACM Conference on Proving Assertions about Programs, Las Cruces, New Mexico, Janua
  • 作者：Association for Computing Machinery.
  • 出版社：New Mexico State University, 1972.
  • 出版年：1972
...

CORRECT ENGLISH
  • 作者：M.TANNER,WILLIAM
  • ISBN：have no CNY4.70
  • 出版社：NEW YORK: PRINTED IN NEW YORK, 1956.
  • 出版年：1956