Termination Proofs for Logic Programs - Lecture Notes in Computer Science - Lutz Plumer - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783540528371 - 1990年7月24日
如封面与标题不符，以标题为准

Lutz Plumer
Termination Proofs for Logic Programs - Lecture Notes in Computer Science 1990 edition

价格
元 379
不含税

远程仓调货

预计送达时间 年6月19日 - 年7月1日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

Termination proofs constitute a crucial part of program verification. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages.

142 pages, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 1990年7月24日
ISBN13 9783540528371
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 142
商品尺寸 155 × 235 × 8 mm   ·   226 g
语言 英语  

Mere med samme udgiver

查看Lutz Plumer的全部作品 ( 例如 Paperback Book )