发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Proving termination of nonlinear command sequences

Proving termination of nonlinear command sequences

Domagoj Babić, Byron Cook, Alan J. Hu, Zvonimir Rakamarić
  • 作者Domagoj Babić, Byron Cook, Alan J. Hu, Zvonimir Rakamarić
  • 卷第25卷
  • 期第3期
  • 文件大小664.76KB
  • 发表时间2013-05
  • DOI10.1007/s00165-012-0252-5
  • 页码389-403
← 返回【学霸图书馆】主页