Termination Proofs for Logic Programs - Lecture Notes in Computer Science - Lutz Plumer - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540528371 - 24. juli 1990
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
DKK 449

Bestilles fra fjernlager

Forventes klar til forsendelse 16. - 22. jun.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 24. juli 1990
ISBN13 9783540528371
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 142
Mål 155 × 235 × 8 mm   ·   226 g
Sprog Engelsk  

Mere med samme udgiver

Se alt med Lutz Plumer ( f.eks. Paperback Bog )