Interactive Theorem Proving
Springer International Publishing AG · EAN 9783319221014
Compare and watch the price in CheapCheck →Shop offers (1)
- Bookshop.cz bookshop.cz
shipping per shop€54.90To shop
Prices and availability from shop feeds, updated daily. Links may be affiliate links.