Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings
  • 洋書電子書籍
  • 電子書籍

Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings  言語:ENG

Huisman, Marieke (EDT)/Howar, Falk (EDT)

  • 価格 ¥26,309(本体¥23,918)
  • Springer(2024/09/09発売)
  • ポイント 239pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Formal Methods〈1st ed. 2021〉 : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
  • 洋書電子書籍
  • 電子書籍

Formal Methods〈1st ed. 2021〉 : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings  言語:ENG

Huisman, Marieke (EDT)/Păsăreanu, Corina (EDT)/Zhan, Naijun (EDT)

  • 価格 ¥20,237(本体¥18,398)
  • Springer(2021/11/10発売)
  • ポイント 183pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Formal Methods for Industrial Critical Systems〈1st ed. 2022〉 : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
  • 洋書電子書籍
  • 電子書籍

Formal Methods for Industrial Critical Systems〈1st ed. 2022〉 : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings  言語:ENG

Groote, Jan Friso (EDT)/Huisman, Marieke (EDT)

  • 価格 ¥14,165(本体¥12,878)
  • Springer(2022/09/05発売)
  • ポイント 128pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Fundamental Approaches to Software Engineering〈1st ed. 2017〉 : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
  • 洋書電子書籍
  • 電子書籍

Fundamental Approaches to Software Engineering〈1st ed. 2017〉 : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings  言語:ENG

Huisman, Marieke (EDT)/Rubin, Julia (EDT)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2017/03/21発売)
  • ポイント 91pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Integrated Formal Methods〈1st ed. 2016〉 : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
  • 洋書電子書籍
  • 電子書籍

Integrated Formal Methods〈1st ed. 2016〉 : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings  言語:ENG

Ábrahám, Erika (EDT)/Huisman, Marieke (EDT)

  • 価格 ¥16,189(本体¥14,718)
  • Springer(2016/05/23発売)
  • ポイント 147pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)