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

02-11-2026 22:54:16

Access to the deal

-10%

128.49 EUR 142.00 EUR

04-11-2026 02:17:24

Access to the deal

142.00 EUR 142.00 EUR

03-11-2026 17:51:11

Access to the deal