Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

Synthesis Lectures on Software Engineering

Pasareanu, Corina S.

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 版次：2020. ix

税込価格：

5,957円

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

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Lecture Notes in Computer Science .9207

Herausgegeben von Kroening, Daniel Pasareanu, Corina S.

出版社：Springer, Berlin; Springer International Publishing 出版年月：2015年 07月
装丁：PAP 版次：1st ed. 2015. 2015. xviii

税込価格：

11,921円

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

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Lecture Notes in Computer Science .9206

Herausgegeben von Kroening, Daniel Pasareanu, Corina S.

出版社：Springer, Berlin; Springer International Publishing 出版年月：2015年 07月
装丁：PAP 版次：1st ed. 2015. 2015. xxiii

税込価格：

11,921円

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

Software Engineering and Formal Methods

19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings

Theoretical Computer Science and General Issues 13085

Herausgegeben:Pasareanu, Corina S. Calinescu, Radu

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

税込価格：

19,075円

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

Formal Aspects of Component Software

9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

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

Herausgegeben von Pasareanu, Corina S. Salauen, Gwen

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

税込価格：

10,969円

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

Theoretical Aspects of Computing - ICTAC 2022

19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Lecture Notes in Computer Science 13572

Herausgegeben:Seidl, Helmut Liu, Zhiming Pasareanu, Corina S.

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

税込価格：

11,921円

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