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

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

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

  • Herausgegeben:Gurfinkel, Arie,国内・海外在庫あり

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

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science 15696

Herausgegeben:Gurfinkel, Arie Heule, Marijn
出版社：Springer, Berlin; Springer Nature Switzerland; Etaps 出版年月：2025年 00月
装丁：PAP 版次：2025. xxvii
税込価格：

9,645円

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

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science 15697

Herausgegeben:Gurfinkel, Arie Heule, Marijn
出版社：Springer, Berlin; Springer Nature Switzerland; Etaps 出版年月：2025年 00月
装丁：PAP 版次：2025. xx
税込価格：

9,645円

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

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science 15698

Herausgegeben:Gurfinkel, Arie Heule, Marijn
出版社：Springer, Berlin; Springer Nature Switzerland; Etaps 出版年月：2025年 00月
装丁：PAP 版次：2025. xxi
税込価格：

9,645円

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

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Lecture Notes in Computer Science 14681

Ganesh, Vijay Herausgegeben:Gurfinkel, Arie
出版社：Springer, Berlin; Springer Nature Switzerland; Coomun 出版年月：2024年 00月
装丁：PAP 言語：ENG 版次：2024. 2024. xiv
税込価格：

9,645円

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

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Lecture Notes in Computer Science 14683

Ganesh, Vijay Herausgegeben:Gurfinkel, Arie
出版社：Springer, Berlin; Springer Nature Switzerland; Commun 出版年月：2024年 00月
装丁：PAP 言語：ENG 版次：2024. 2024. xiv
税込価格：

9,645円

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