Termination Proofs for Logic Programs
Prijzen vanaf
47,99
Uitgelicht
|
47,99 |
Naar shop
|
| VERGELIJK ALLE AANBIEDERS (1) | ||
Beschrijving
Bol
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.
Vergelijk aanbieders (1)
Shop
Prijs
Verzendkosten
Totale prijs
Beschrijving
(1)
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.
Productspecificaties
| EAN |
|
|---|---|
| Maat |
|
Prijshistorie
Prijzen voor het laatst bijgewerkt op:
Gerelateerde resultaten
Uitgelichte Keuze
47,99
