Termination Proofs for Logic Programs - Lecture Notes in Computer Science - Lutz Plumer - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783540528371 - 24. júla 1990
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 52,99

Objednané zo vzdialeného skladu

Očakávané doručenie 17. - 25. jún

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na 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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 24. júla 1990
ISBN13 9783540528371
Vydavatelia Springer-Verlag Berlin and Heidelberg Gm
Strany 142
Rozmery 155 × 235 × 8 mm   ·   226 g
Jazyk Angličtina  

Mere med samme udgiver

Pozrieť všetko od Lutz Plumer ( napr. Paperback Book )