This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. Sin...Weiterlesen
Tiefpreis
CHF98.40
Print on Demand - Exemplar wird für Sie besorgt.