Foundations Program Verification by Loeckx Jacques (13 results)

- Hardcover
Seller: Plurabelle Books Ltd, Cambridge, United KingdomPlurabelle Books Ltd
Contact seller5-star sellerAssociation member: GIAQ
Condition: Used - Very good
US$ 32.62
US$ 10.56 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
US$ 36.31
US$ 6.60 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 [Germany], B.G. Teubner; Wiley, 1984
- Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, GermanyAntiquariat Bookfarm
Contact seller5-star sellerCondition: Used
US$ 17.23
US$ 45.54 shippingShips from Germany to U.S.A.Quantity: 1 available
Hardcover. ix, 230 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03362 3519021013 Sprache: Englisch Gewicht in Gramm: 550.

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.24
US$ 47.82 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.

Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United KingdomHay-on-Wye Booksellers
Contact seller4-star sellerCondition: Used - Good
US$ 61.78
US$ 32.99 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. Bumps/wear at edges and corners of hard board. Some light storage marks and scratches to hard board. Pages excellent, clean and legible.

- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 54.85
US$ 20.44 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. 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.84
US$ 68.30 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.51
US$ 13.20 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.91
US$ 55.91 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.90
US$ 8.58 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.11
US$ 11.33 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 244.