Termination Proofs for Logic Programs - Lecture Notes in Computer Science - Lutz Plumer - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540528371 - 24 juillet 1990
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 17 - 25 juin

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits 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édias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 24 juillet 1990
ISBN13 9783540528371
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 142
Dimensions 155 × 235 × 8 mm   ·   226 g
Langue et grammaire Anglais  

Mere med samme udgiver

Voir tous les Lutz Plumer ( par ex. Paperback Book )