Back to UK deals/Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Springer Nature
Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Barcode (GTIN/EAN):09783642140525
Category: Books & Stationery
Best price found:
£71.50
Highest at other stores: £80.552 stores compared
Save up to £9.05 by choosing the best deal!
In-stock deals (2 partner stores)
Sorted by lowest item price
SpringerNatureLink ShopBest price
link.springer.comIn stock
Free delivery
Verified 2d ago
£71.50