Back to UK deals/Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Springer Nature
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Barcode (GTIN/EAN):09783319089706
Category: Books & Stationery
Best price found:
£35.99
Highest at other stores: £40.492 stores compared
Save up to £4.50 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 yesterday
£35.99