Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings  言語:ENG

Madeira, Alexandre (EDT)/Knapp, Alexander (EDT)

  • 価格 ¥13,857(本体¥12,598)
  • Springer(2024/11/25発売)
  • ポイント 3,125pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Dynamic Logic. New Trends and Applications〈1st ed. 2018〉 : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Dynamic Logic. New Trends and Applications〈1st ed. 2018〉 : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings  言語:ENG

Madeira, Alexandre (EDT)/Benevides, Mário (EDT)

  • 価格 ¥9,897(本体¥8,998)
  • Springer(2017/12/30発売)
  • ポイント 2,225pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)