Go Where the Bugs Are : Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Go Where the Bugs Are : Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday  言語:ENG

Ernst, Gidon (EDT)/Güdemann, Matthias (EDT)/Knapp, Alexander (EDT)/Nafz, Florian (EDT)/Ortmeier, Frank (EDT)/Ponsar, Hella (EDT)

  • 価格 ¥12,867(本体¥11,698)
  • Springer(2025/05/27発売)
  • ポイント 2,900pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
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 (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Ernest Bloch Studies
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Ernest Bloch Studies  言語:ENG

Knapp, Alexander (EDT)/Solomon, Norman (EDT)

  • 価格 ¥14,345(本体¥13,041)
  • Cambridge University Press(2017/01/05発売)
  • ポイント 3,250pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Critical Systems: Formal Methods and Automated Verification〈1st ed. 2016〉 : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Critical Systems: Formal Methods and Automated Verification〈1st ed. 2016〉 : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings  言語:ENG

ter Beek, Maurice H. (EDT)/Gnesi, Stefania (EDT)/Knapp, Alexander (EDT)

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