Programs Recursion Unbounded Choice by Hesselink Wim (15 results)
Language: English
Published by Cambridge University Press, 1992
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Near fine
Original price: US$ 7.65; 10% offCurrent price: US$ 6.89
US$ 18.88 shippingShips from France to U.S.A.Quantity: 1 available
Hardcover. Condition: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1992. Ammareal g…ives back up to 15% of this item's net price to charity organizations.
Published by Cambridge University Press, 1992
- Hardcover
Seller: Attic Books (ABAC, ILAB), London, ON, CanadaAttic Books (ABAC, ILAB)
Contact seller5-star sellerCondition: Used - Very good
US$ 25.00
US$ 15.00 shippingShips from Canada to U.S.A.Quantity: 1 available
Hardcover. Condition: Very good +. Cambridge Tracts in Theoretical Computer Science 27.ix, 223 cm. 26 cm. Signature and ink stamp on first leaf.
Language: English
Published by Cambridge University Press, 2005
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 72.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press, 2005
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.53
US$ 16.15 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Cambridge University Press 2008-08-21, 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.32
US$ 20.88 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
Language: English
Published by Cambridge University Press, 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 80.73
US$ 12.02 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. A complete account of the predicate transformation calculus semantics of sequential programs. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 240 pages, black & white illustratio…ns. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 13. Weight in Grams: 390. . 2008. paperback. . . . .
Language: English
Published by Cambridge University Press CUP, 2005
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 95.69
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 240.
Language: English
Published by Cambridge University Press, 2005
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 94.76
US$ 10.50 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. A complete account of the predicate transformation calculus semantics of sequential programs. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 240 pages, black & white illustratio…ns. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 13. Weight in Grams: 390. . 2008. paperback. . . . . Books ship from the US and Ireland.
Language: English
Published by Cambridge University Press, 2005
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 97.87
US$ 71.08 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the… best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.
Language: English
Published by Cambridge Univ Pr, 2005
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 68.63
US$ 13.48 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 237 pages. 9.50x6.50x0.70 inches. In Stock. This item is printed on demand.
Language: English
Published by Cambridge University Press, 2005
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
US$ 75.66
US$ 20.15 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Language: English
Published by Cambridge University Press, 2005
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 96.93
US$ 8.76 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 240 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.
Language: English
Published by Cambridge University Press, 2005
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 103.28
US$ 11.39 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 240.
Language: English
Published by Cambridge University Press, Cambridge, 2005
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: CitiRetail, Stevenage, United KingdomCitiRetail
Contact seller5-star sellerCondition: New
US$ 80.50
US$ 49.87 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the developme…nt of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs. A complete account of the predicate transformation calculus semantics of sequential programs. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Language: English
Published by Cambridge University Press, 2005
Series: Cambridge Tracts in Theoretical Computer Science, Book 10 of 40. Book 10 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 77.89
US$ 56.07 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A complete account of the predicate transformation calculus semantics of sequential programs.InhaltsverzeichnisList of symbols Introduction 1. Weakest preconditions 2. Annotation, recursion and repetition 3. Healthine…ss laws 4. .
