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

Construction amélioration et vérification de programmes = Proving and improving programs
出版社：Rocquencourt : I.R.I.A., 1975.
ISBN：2726100635
出版年：1975
作者：Huet,G.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Construction, amelioration et verification de programmes
  • ISBN：2726100635
  • 出版社：0000.00
...

L''Amélioration des conditions de travail dans l''industrie
  • 作者：Régnier,Jacques.
  • ISBN：2225642184
  • 出版社：Paris : Masson, 1980.
  • 出版年：1980
...

Construction, amelioration et verification de programmes : Arcet Senans, Juillet 1-3, 1975
  • 作者：Huet,G.
  • ISBN：2726100635
  • 出版社：Rocquencourt : I.R.I.A., 1975
  • 出版年：1975
...

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

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

On the construction of programs
  • 作者：McKeag,R. M.
  • ISBN：052123090X
  • 出版社：Cambridge : Cambridge University Press, 1980
  • 出版年：1980