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

税込価格：

12,386円

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

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

税込価格：

12,386円

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

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

税込価格：

11,397円

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