Foundations Program Verification by Loeckx Jacques Kurt Sieber (11 results)
- Hardcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Good
US$ 36.49
US$ 6.67 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. 2nd. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Language: English
Published by Stuttgart : Teubner; Chichester; New York; Brisbane; Toronto; Singapore : Wiley, 1984
- Hardcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermanyRoland Antiquariat UG haftungsbeschränkt
Contact seller5-star sellerCondition: Used
US$ 17.26
US$ 47.89 shippingShips from Germany to U.S.A.Quantity: 1 available
Hardcover. 230 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Dedication by the author. Retired library copy with corresponding marking. Otherwise, a neat copy. 9783519021018 Sprache: Englisch Gewicht in Gramm: 1000.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 67.00
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 73.32
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 76.26
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 244.
- Hardcover
Seller: Antiquariat Jochen Mohr -Books and Mohr-, Oberthal, GermanyAntiquariat Jochen Mohr -Books and Mohr-
Contact seller5-star sellerCondition: Used - Fine
US$ 15.86
US$ 68.40 shippingShips from Germany to U.S.A.Quantity: 1 available
hardcover. Condition: Sehr gut. 2.Aufl. 1987. 239 Seiten 9783519121015 Wir verkaufen nur, was wir auch selbst lesen würden. Sprache: Deutsch Gewicht in Gramm: 550.
The Foundations of Program Verification
Loeckx, Jacques (Contributor)/ Sieber, Kurt/ Stansifer, Ryan (Contributor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 74.34
US$ 13.35 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2nd edition. 239 pages. German language. 8.90x5.98x0.63 inches. In Stock.
Published by John Wiley & Sons Chichester 1984, 1984
- Hardcover
- First Edition
Seller: Andrew Barnes Books / Military Melbourne, Melbourne, VIC, AustraliaAndrew Barnes Books / Military Melbourne
Contact seller4-star sellerCondition: Used
US$ 101.00
US$ 20.00 shippingShips from Australia to U.S.A.Quantity: 1 available
1st edition original boards Fine octavo. 230pp., b/w illus., bibliog., index, Wiley-Teubner Series in Computer Science.
Seller: Moby Dick, Noordwijk, NetherlandsMoby Dick
Contact seller4-star sellerCondition: Used
US$ 46.97
US$ 55.98 shippingShips from Netherlands to U.S.A.Quantity: 1 available
John Wiley & Sons 1984 cloth, 230 pp. Wiley-Teubner Series in Computer Science ISBN (3519021013) (code Sc-51).
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 75.86
US$ 8.68 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 244.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 80.62
US$ 11.34 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 244.
