Automated Theorem Proving in Software Engineering

52.94 EUR 10% Off 59.00 EUR

Marke: Schumann, Johann M.

ISBN: 3642087590

MPN: 46 black & white illustrations, 41 black

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

-10%

Gesponsert Automated Theorem Proving in Software Engineering

52.94 EUR 59.00 EUR

03-11-2026 12:40:08

Access to the deal

-9%

53.49 EUR 59.00 EUR

03-11-2026 18:27:54

Access to the deal

59.00 EUR 59.00 EUR

03-11-2026 18:43:24

Access to the deal