Correctness Problem Computer Science (4 results)
- Hardcover
- First Edition
Seller: Rivermead Books, Southampton., United KingdomRivermead Books
Contact seller2-star sellerCondition: Used - Very good
US$ 12.60
US$ 28.55 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hard Cover. Condition: 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.
- Hardcover
Seller: Librería La Candela, Murcia, MU, SpainLibrería La Candela
Contact seller5-star sellerCondition: Used
US$ 30.01
US$ 46.61 shippingShips from Spain to U.S.A.Quantity: 1 available
Add to basket.- 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.
- Softcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 48.71
US$ 70.94 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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…program 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.
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 150.40
US$ 81.58 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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 & C…o. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.
