日本のストアです。

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

Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings 電子ブック   著

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

あらすじ

この書籍について

  • 言語 English
  • 商品番号:9783031742347
  • 発売日 2024年10月12日
  • 出版社:Springer Nature Switzerland
  • 出版社: Springer
  • ファイル形式 EPUB3
  • サイズ 28.78 MB
  • ダウンロードオプション:EPUB3 (Adobe DRM)

シリーズの内容

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Theoretical Aspects of Computing – ICTAC 2023

Erika Ábrahám,Clemens Dubslaff,Silvia Lizeth Tapia Tarifa

Integrated Formal Methods

Erika Ábrahám,Marieke Huisman