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

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

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
...

Verification, induction, termination analysis : festschrift for Christoph Walther on the occasion of
  • 作者：Siegler,Simon.
  • ISBN：9783642171710
  • 出版社：New York : Springer, c2010.
  • 出版年：2010
...

Functional analysis
  • 作者：Neerven,Jan van,
  • ISBN：9781009232470
  • 出版社：Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2022.
  • 出版年：2022
...

Functional analysis
  • 作者：Nino Boccara
  • ISBN：0121088103
  • 出版社：1990.11
  • 出版年：1990