Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)

49.98 EUR 7% Off 53.49 EUR

Marke: Wolfgang Ahrendt

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

-7%

Gesponsert Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)

49.98 EUR 53.49 EUR

27-04-2026 19:05:00

Access to the deal

53.49 EUR 53.49 EUR

27-04-2026 22:02:07

Access to the deal

53.49 EUR 53.49 EUR

27-04-2026 18:45:19

Access to the deal