全国書店ネットワーク e-hon洋書販売

全国書店ネットワーク e-hon洋書販売

　
  • 書名
  • 著者
  • 出版社
  • ISBN
こだわり検索
　
  • 書名
  • 著者
  • 出版社
  • ISBN
こだわり検索
　
  • 書名
  • 著者
  • 出版社
  • ISBN

  • Herausgegeben von Kroening, Daniel,国内・海外在庫あり

    による検索結果
  • 1件〜4件（全4件）
書名
著者
出版社
ISBN
出版年月
年 月 〜
年 月
装丁
選択してください
  • 選択してください
  • PAP
  • HRD
  • CMD
  • CD
  • LIB
  • CAS
  • SAL
  • PBD
  • TBK
  • CDR
  • DVD
  • PLA
言語
選択してください
  • 選択してください
  • 英語
  • ドイツ語
  • フランス語
  • スペイン語
在庫状況
書籍表紙

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,318円

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

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,318円

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

Validation of Evolving Software
Herausgegeben von Chockler, Hana Kroening, Daniel Mariani, Leonardo
出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 10月
装丁：PAP 版次：Softcover reprint of the original 1st ed. 2015. 2016. viii
税込価格：

12,318円

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

Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

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

Herausgegeben von Giannakopoulou, Dimitra Kroening, Daniel
出版社：Springer, Berlin; Springer International Publishing 出版年月：2014年 10月
装丁：PAP 言語：ENG 版次：2014. 2014. x
税込価格：

11,826円

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