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

53.49 EUR 9% Off 59.00 EUR

Marke: Wolfgang Ahrendt

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

-9%

Gesponsert Deductive Software Verification: Future Perspectives

53.49 EUR 59.00 EUR

04-11-2026 04:57:30

Access to the deal

-9%

53.49 EUR 59.00 EUR

02-11-2026 20:54:04

Access to the deal

59.00 EUR 59.00 EUR

03-11-2026 17:52:55

Access to the deal