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

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

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

  • Cerone, Antonio,国内・海外在庫あり

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

Formal Methods for Software Engineering

Languages, Methods, Application Domains
Roggenbach, Markus Cerone, Antonio Schlingloff, Bernd-Holger
出版社：Springer 出版年月：2022年 03月
装丁：HRD 言語：ENG
税込価格：

17,582円

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

Information Technology and Open Source

Applications for Education, Innovation, and Sustainability

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

Herausgegeben von Cerone, Antonio Persico, Donatella Fernandes, Sara
出版社：Springer, Berlin; Springer Berlin Heidelberg 出版年月：2014年 03月
装丁：PAP 言語：ENG 版次：2014. 2014. xiv
税込価格：

11,719円

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

Software Engineering and Formal Methods

18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings

Lecture Notes in Computer Science 12310

Herausgegeben:de Boer, Frank Cerone, Antonio
出版社：Springer, Berlin; Springer 出版年月：2020年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2020 2020 xiv
税込価格：

12,893円

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

Formal Methods for an Informal World

ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Lecture Notes in Computer Science 13490

Herausgegeben:Cerone, Antonio
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2023年 00月
装丁：PAP 版次：1st ed. 2023. 2023. xi
税込価格：

11,719円

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

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops

DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Lecture Notes in Computer Science 10729

Herausgegeben von Cerone, Antonio Roveri, Marco
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2018. 2018. x
税込価格：

17,349円

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

Formal Methods - Fun for Everybody

First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

Communications in Computer and Information Science 1301

Herausgegeben:Cerone, Antonio Roggenbach, Markus
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2021年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2021. 2021. ix
税込価格：

11,719円

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

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Lecture Notes in Computer Science 13230

Herausgegeben:Cerone, Antonio Autili, Marco Bucaioni, Alessio
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2022年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2022. 2022. xi
税込価格：

11,719円

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

Theoretical Aspects of Computing - ICTAC 2021

18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Lecture Notes in Computer Science 12819

Herausgegeben:Cerone, Antonio OElveczky, Peter Csaba
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2021年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2021. 2021. xiv
税込価格：

17,582円

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

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Texts in Theoretical Computer Science. An EATCS Series

Roggenbach, Markus Cerone, Antonio Schlingloff, Bernd-Holger
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2023年 00月
装丁：PAP 版次：1st ed. 2022. 2023. xxviii
税込価格：

12,893円

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