Correctness problem computer science (5 résultats)

- Couverture rigide
Vendeur : BookDepart, Shepherdstown, WV, Etats-UnisBookDepart
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 16,77
EUR 7,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : UsedGood. Hardcover; surplus library copy with the usual stampings; reference number taped to spine; fading, scuffing, and shelf wear to exterior; in good condition with clean text, firm binding.

- Couverture rigide
- Édition originale
Vendeur : Rivermead Books, Southampton., , Royaume-UniRivermead Books
Contacter le vendeurVendeur avec une évaluation de 1 étoilesEtat: Occasion - Assez bon
EUR 10,73
EUR 24,30 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Hard Cover. Etat : Very Good. No Jacket. First Edition. VG, hardback, white pictorial glazed boards with green titles on tarnished spine, contents are clean and unmarked, 279pp. Ex-Royal Aircraft Establishment Library, weight 500g. International Lecture series in Computer Science. Ex-Library.
- Couverture rigide
Vendeur : Librería La Candela, Murcia, MU, EspagneLibrería La Candela
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 13,00
EUR 40,00 expéditionExpédition depuis Espagne vers Etats-UnisQuantité disponible : 1 disponible(s)
.- London - New York - Toronto - Sydney - San Francisco. 1981. Academic Press . 4º menor. XIII- 279 pgs. Cartoné editorial. Muy buen estado. . . ISBN 10: 0121229203. Informática.

- Couverture souple
- impression à la demande
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 40,58
EUR 60,87 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! In computer science, termination analysis attempts to determine whether the evaluation of a given program will definitely terminate. It is a form of prog…ram analysis that is related to the halting problem. Because the Halting Problem is undecidable, termination analysis cannot work correctly in all cases. The aim is to find the answer 'program does terminate' (or 'program does not terminate') whenever this is possible. Without success the algorithm (or human) working on the termination analysis may answer with 'maybe' or continue working infinitely long.

- Couverture souple
- impression à la demande
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 125,30
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. Etat : Neu. Termination Analysis | Computer Science, Computer Program, Program Analysis, Halting Problem, Mathematical Proof, Formal Verification, Total Correctness | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786131155277 | Verantwortliche Person für die EU: preigu GmbH & Co. K…G, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.