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

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

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

  • Herausgegeben:Huisman, Marieke,国内・海外在庫あり

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

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science 13910

Herausgegeben:Huisman, Marieke Ravara, Ant&oacute nio
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2023年 00月
装丁：PAP 版次：1st ed. 2023. 2023. xiv
税込価格：

16,689円

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

Tests and Proofs

18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Lecture Notes in Computer Science 15153

Herausgegeben:Huisman, Marieke Howar, Falk
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 版次：2024. 2024. viii
税込価格：

30,999円

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

Formal Methods

24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Lecture Notes in Computer Science 13047

Herausgegeben:Huisman, Marieke Pasareanu, Corina Zhan, Naijun
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2021年 00月
装丁：PAP 版次：1st ed. 2021. 2021. xix
税込価格：

26,230円

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