The foundations of program verification (Wiley-Teubner series in computer science)

 
9783519021018: The foundations of program verification (Wiley-Teubner series in computer science)
View all copies of this ISBN edition:
 
 

Top Search Results from the AbeBooks Marketplace

1.

Loeckx, Jacques and Kurt Sieber
Published by John Wiley & Sons (1984)
ISBN 10: 3519021013 ISBN 13: 9783519021018
Used Hardcover Quantity Available: 1
Seller:
Antiquariaat van Starkenburg
(Apeldoorn, Netherlands)
Rating
[?]

Book Description John Wiley & Sons, 1984. cloth, 230 pp. Wiley-Teubner Series in Computer Science. Seller Inventory # ww1830

More information about this seller | Contact this seller

Buy Used
US$ 60.58
Convert currency

Add to Basket

Shipping: US$ 17.06
From Netherlands to U.S.A.
Destination, rates & speeds

2.

Loeckx, Jacques ; Sieber, Kurt
Published by Teubner [u.a.], Stuttgart [u.a.] (1984)
ISBN 10: 3519021013 ISBN 13: 9783519021018
Used Hardcover Quantity Available: 1
Seller:
Gebrauchtbücherlogistik H.J. Lauterbach
(Gummersbach, NRW, Germany)
Rating
[?]

Book Description Teubner [u.a.], Stuttgart [u.a.], 1984. Hardcover. Condition: Sehr gut. 23,5cm IX.; 230. Hardcover. Sprache: Englisch, Zustand: Sehr Gut; 600 Gramm. Buch. Seller Inventory # 78243

More information about this seller | Contact this seller

Buy Used
US$ 83.49
Convert currency

Add to Basket

Shipping: US$ 10.00
From Germany to U.S.A.
Destination, rates & speeds

3.

Loeckx, Jacques
Published by Wiley (1984)
ISBN 10: 3519021013 ISBN 13: 9783519021018
Used Quantity Available: 1
Seller:
Better World Books
(Mishawaka, IN, U.S.A.)
Rating
[?]

Book Description Wiley, 1984. Condition: As New. Book in almost Brand New condition. Seller Inventory # GRP97159231

More information about this seller | Contact this seller

Buy Used
US$ 220.37
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds