Interactive Theorem Proving and Program Development

80.00 EUR 12% Off 90.99 EUR

Marke: Springer Berlin Heidelberg

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-12%

Gesponsert Interactive Theorem Proving and Program Development

80.00 EUR 90.99 EUR

27-07-2026 20:05:53

Access to the deal

90.99 EUR 90.99 EUR

26-07-2026 16:52:15

Access to the deal