Deductive Software Verification: Future Perspectives

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY 1st 版 著者: Wolfgang Ahrendt 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Deductive Software Verification: Future Perspectives : 9783030643546, 3030643549 および 印刷版のISBNは 9783030643539, 3030643530. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY 1st 版 著者: Wolfgang Ahrendt 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Deductive Software Verification: Future Perspectives : 9783030643546, 3030643549 および 印刷版のISBNは 9783030643539, 3030643530. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。