Deductive Software Verification The KeY Book: From Theory to Practice by Wolfgan
128,60 €
It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. Deductive Software Verification The KeY Book.
Jetzt bei Ebay:
