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

価格
¥ 8.915
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月19日 - 年7月1日

お客様の声：

EU消費者保護法に基づく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 )