Constructing Correct Software by Cooke John (11 results)
- Softcover
Seller: WorldofBooks, Goring-By-Sea, WS, United KingdomWorldofBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 13.65
US$ 7.48 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
US$ 26.03
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. 2nd. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Fine
Original price: US$ 18.83; 10% offCurrent price: US$ 16.95
US$ 18.88 shippingShips from France to U.S.A.Quantity: 1 available
Softcover. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2004. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2004. Ammareal gives back up to 15% of this item's net price to ch…arity organizations.
- Softcover
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, GermanyUniversitätsbuchhandlung Herta Hold GmbH
Contact seller4-star sellerCondition: Used
US$ 18.85
US$ 34.32 shippingShips from Germany to U.S.A.Quantity: 1 available
2nd ed. 100 figs., XXI, 509 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
- Softcover
Seller: Peak Pearl LLC, Holly Springs, NC, U.S.A.Peak Pearl LLC
Contact seller3-star sellerCondition: Used - As new
US$ 60.00
US$ 12.00 shippingShips within U.S.A.Quantity: 1 available
Soft cover. Condition: As New. 2nd Edition. Like new, never been used.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.87
US$ 16.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
US$ 115.33
US$ 6.95 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: New. In shrink wrap. Looks like an interesting title.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 81.09
US$ 56.04 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Links constructive software development to traditional problem-solving methodsNot dependent on any particular specification language, but is based instead on their common core - predicate logic and familiar data typesProvides a brief transl.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
US$ 18.83
US$ 120.11 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 509 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
US$ 18.85
US$ 120.11 shippingShips from Germany to U.S.A.Quantity: 2 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 408 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 99.91
US$ 73.29 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. Neuware - Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, thoug…h even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on teaching material used extensively at Loughborough University, John Cooke introduces the basics, using simple examples and lots of detailed working (which can often be re-used). Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.
