Termination Proofs for Logic Programs - Lecture Notes in Computer Science - Lutz Plumer - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540528371 - 24 juli 1990
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 50,99

Besteld in een afgelegen magazijn

Verwachte levering 17 - 25 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 24 juli 1990
ISBN13 9783540528371
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 142
Afmetingen 155 × 235 × 8 mm   ·   226 g
Taal en grammatica Engels  

Mere med samme udgiver

Bekijk alles van Lutz Plumer ( bijv. Paperback Book )