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

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

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

53.49 EUR 53.49 EUR

13-06-2026 10:23:56

Access to the deal

53.49 EUR 53.49 EUR

13-06-2026 03:41:14

Access to the deal

53.49 EUR 53.49 EUR

13-06-2026 03:25:05

Access to the deal