日本のストアです。

日本のストアは日本在住者向けストアのためアメリカ合衆国からはご利用になれません。アメリカ合衆国のストアをご利用ください。

Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings 電子ブック   著

Runtime Verification

20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

あらすじ

この書籍について

  • 言語 English
  • 商品番号:9783030605087
  • 発売日 2020年10月7日
  • 出版社:Springer International Publishing
  • 出版社: Springer
  • ファイル形式 EPUB3
  • サイズ 52.02 MB
  • ダウンロードオプション:EPUB3 (Adobe DRM)

シリーズの内容

NASA Formal Methods

Jyotirmoy Deshmukh,Klaus Havelund,Alessandro Pinto