Runtime Verification〈1st ed. 2016〉 : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Runtime Verification〈1st ed. 2016〉 : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings  言語:ENG

Falcone, Yliès (EDT)/Sánchez, César (EDT)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2016/09/19発売)
  • ポイント 2,275pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Formal Methods in Outer Space〈1st ed. 2021〉 : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Formal Methods in Outer Space〈1st ed. 2021〉 : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday  言語:ENG

Bartocci, Ezio (EDT)/Falcone, Yliès (EDT)/Leucker, Martin (EDT)

  • 価格 ¥11,129(本体¥10,118)
  • Springer(2021/10/17発売)
  • ポイント 2,525pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Lectures on Runtime Verification〈1st ed. 2018〉 : Introductory and Advanced Topics
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Lectures on Runtime Verification〈1st ed. 2018〉 : Introductory and Advanced Topics  言語:ENG

Bartocci, Ezio (EDT)/Falcone, Yliès (EDT)

  • 価格 ¥13,153(本体¥11,958)
  • Springer(2018/02/10発売)
  • ポイント 2,975pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)