在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
automata programming » automatic programming, automated programming, autocad programming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs loops » constructs lists, constructs coders, constructs core
automata programming » automatic programming, automated programming, autocad programming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs loops » constructs lists, constructs coders, constructs core
1
出版 2005
书本目录:
“... and Invariance Analysis of Loops -- Some Perspectives of Infinite-State Verification -- Model Checking...”获取全文
电子
电子书
2
出版 2007
书本目录:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”获取全文
电子
电子书