The foundations of program verification

Loeckx, Jacques ; Sieber, Kurt

ISBN 10: 3519021013 ISBN 13: 9783519021018
Published by Teubner [u.a.], Stuttgart [u.a.], 1984
Used Condition: Sehr gut Hardcover

From Gebrauchtbücherlogistik H.J. Lauterbach, Gummersbach, NRW, Germany

AbeBooks Seller Since 30 December 2009 Seller Rating 5-star rating, Learn more about seller ratings

View this seller's items

Quantity: 1

Buy Used
Price: £ 10.49 Convert Currency
Shipping: £ 14.67 From Germany to U.S.A. Destination, rates & speeds
Add to basket