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

automatic termination analysis for functional and imperative programs
出版社：germany infix 1999
ISBN：1586031139
出版年：1999
作者：Brauburger,Jurgen
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Termination proofs for logic programs
  • 作者：Plümer,Lutz.
  • ISBN：3540528377
  • 出版社：Berlin ; New York : Springer-Verlag, c1990.
  • 出版年：1990
...

Automatic correction and improvement of programs
  • 作者：Wertz,H.
  • ISBN：0470207647
  • 出版社：Chichester : Ellis Horwood ; New York : Halsted Press, 1987.
  • 出版年：1987
...

Computer programs for automatic contouring
  • 作者：McIntyre,Donald B.
  • 出版社：Lawrence, University of Kansas, 1968.
  • 出版年：1968
...

Mathematical programs for activity analysis
  • 作者：Moeseke,Paul van.
  • ISBN：0444106332
  • 出版社：Amsterdam : North-Holland Pub. Co.; New York : American Elsevier Pub. Co., 1974.
  • 出版年：1974
...

Computer programs for structural analysis
  • 作者：Weaver,W.,Jr
  • ISBN：￥1.90
  • 出版社：New York : VNR, 1967.
  • 出版年：1967
...

Computer programs for structural analysis
  • 作者：Weaver,W.,Jr
  • 出版社：Princeton, N.J. : Van Nostrand, 1967.,New York : VNR, 1967.
  • 出版年：1967