95,66 €
106,29 €
-10% with code: EXTRA
Interactive Theorem Proving
95,66 € 
- We will send in 10–14 business days.
106.29
/https://libri-media.knygos-static.lt/6429411c-68eb-4d02-875d-c380431a2d1f/2)
- Publisher: Springer-Verlag GmbH
- Year: 2012
- ISBN-10: 3642323464
- ISBN-13: 9783642323461
- Format: 15.6 x 24 x 2.5 cm, minkšti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Interactive Theorem Proving (e-book) (used book) | bookbook.eu
Reviews
Description
EXTRA 10 % discount with code: EXTRA
95,66 €
106,29 €
We will send in 10–14 business days.
The promotion ends in 24d.01:45:28
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Publisher: Springer-Verlag GmbH
- Year: 2012
- ISBN-10: 3642323464
- ISBN-13: 9783642323461
- Format: 15.6 x 24 x 2.5 cm, minkšti viršeliai
- Language: English English
Reviews