Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Lecture Notes in Artificial Intelligence

Beckert, Bernhard

出版社：Springer Verlag 出版年月：2005年 11月
装丁：PAP 言語：ENG

税込価格：

11,787円

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

Verification of Object-Oriented Software. The KeY Approach

Foreword by K. Rustan M. Leino

Lecture Notes in Computer Science

Beckert, Bernhard (EDT) Hähnle, Reiner (et al., EDT)

出版社：Springer 出版年月：2007年 02月
装丁：PAP 言語：ENG

税込価格：

23,579円

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

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円

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

Electronic Voting

5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings

Lecture Notes in Computer Science 12455

Herausgegeben:Krimmer, Robert Volkamer, Melanie Beckert, Bernhard

出版社：Springer, Berlin; Springer 出版年月：2020年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2020. 2020. x

税込価格：

11,787円

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

Electronic Voting

4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings

Lecture Notes in Computer Science .11759

Herausgegeben:Krimmer, Robert Volkamer, Melanie Cortier, Veronique

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2019年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2019. 2019. x

税込価格：

13,674円

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

Formal Methods for Components and Objects

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Lecture Notes in Computer Science / Programming and Software Engineering .7542

Herausgegeben von Beckert, Bernhard Damiani, Ferruccio de Boer, Frank S.

出版社：Springer, Berlin 出版年月：2013年 00月
装丁：PAP 版次：Repr. 2012. 2013. x

税込価格：

11,787円

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

Formal Verification of Object-Oriented Software

International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Lecture Notes in Computer Science / Programming and Software Engineering Vol.7421

Herausgegeben von Beckert, Bernhard Damiani, Ferruccio Gurov, Dilian

出版社：Springer, Berlin 出版年月：2012年 00月
装丁：PAP 版次：2012. X

税込価格：

10,846円

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