Termination Proofs for Logic Programs - Lecture Notes in Computer Science - Lutz Plumer - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540528371 - 1990. gada 24. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 17. - 25. jūn.

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1990. gada 24. jūlijs
ISBN13 9783540528371
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 142
Izmēri 155 × 235 × 8 mm   ·   226 g
Valoda Angļu  

Mere med samme udgiver

Skatīt visus Lutz Plumer ( piem., Paperback Book )