Termination Proofs for Logic Programs - Lecture Notes in Computer Science - Lutz Plumer - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540528371 - 24 lipca 1990
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 216,90

Zamówione z odległego magazynu

Przewidywana dostawa 23 - 31 lip
Otrzymuj powiadomienia o nowych wydawnictwach Lutz Plumer

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 24 lipca 1990
ISBN13 9783540528371
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 142
Wymiary 155 × 235 × 8 mm   ·   226 g
Język Angielski  

Więcej od tego samego wydawcy

Zobacz wszystko od Lutz Plumer ( np. Paperback Book )