Deductive Software Verification The KeY Book

115.64 EUR 19% Off 142.00 EUR

Marke: Springer

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

-19%

Gesponsert Deductive Software Verification - The KeY Book: From Theory to Practice (Lecture Notes in Computer Science)

115.64 EUR 142.00 EUR

27-07-2026 22:44:53

Access to the deal

-10%

128.39 EUR 142.00 EUR

29-07-2026 01:59:37

Access to the deal

142.00 EUR 142.00 EUR

29-07-2026 07:18:20

Access to the deal