Foundations Program Verification by Loeckx Jacques Sieber Kurt (10 results)
- Hardcover
Seller: Plurabelle Books Ltd, Cambridge, United KingdomPlurabelle Books Ltd
Contact seller5-star sellerAssociation member: GIAQ
Condition: Used - Very good
£ 24.00
£ 8.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. Series: Wiley Teubner on Applicable Theory in Computer Science ix 230p glossy hardback, bibliography, index, some page edges show very faint irregularity, hardly visible, unused copy, almost as new, second edition Language: English.
- Hardcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Good
£ 31.49
£ 5.00 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
£ 13.06
£ 36.24 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: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 59.52
£ 3.02 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
£ 12.00
£ 51.76 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
£ 54.81
£ 10.00 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
£ 78.83
£ 15.15 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
£ 35.55
£ 42.36 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
£ 59.24
£ 6.50 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
£ 60.70
£ 8.58 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 244.
