Termination Proofs for Logic Programs - Lecture Notes in Computer Science - Lutz Plumer - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540528371 - 24. julija 1990
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 17. - 25. jun

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja 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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 24. julija 1990
ISBN13 9783540528371
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 142
Dimenzije 155 × 235 × 8 mm   ·   226 g
Jezik Angleščina  

Mere med samme udgiver

Ogled vseh Lutz Plumer ( Na primer Paperback Book )