Termination Proofs for Logic Programs - Lecture Notes in Computer Science - Lutz Plumer - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540528371 - tiistai 24. heinäkuuta 1990
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 54,49

Tilattu etävarastosta

Arvioitu toimitus ti - ke 16. - 24. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 24. heinäkuuta 1990
ISBN13 9783540528371
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 142
Mitta 155 × 235 × 8 mm   ·   226 g
Kieli Englanti  

Mere med samme udgiver

Katso kaikki joka sisältää Lutz Plumer ( Esim. Paperback Book )