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)
  • 洋書

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)  Paperback

Cerone, Antonio (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 101pt
  • 海外取次在庫
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)
  • 洋書

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)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Roggenbach, Markus (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 101pt
  • 海外取次在庫
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)
  • 洋書

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)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Autili, Marco (EDT)/ Bucaioni, Alessio (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 101pt
  • 海外取次在庫
Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 156pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。