The Logic of Software. A Tasting Menu of Formal Methods

Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Lecture Notes in Computer Science 13360

Herausgegeben:Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2022年 00月
装丁：PAP 版次：1st ed. 2022. 2022. xii

税込価格：

23,579円

海外在庫あり 通常２～５週間で出荷

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Lecture Notes in Computer Science 12345

Herausgegeben:Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 版次：1st ed. 2020. 2020. xii

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷