這是我們的台灣商店。

您似乎位於美國。您需要台灣地址才能在我們的台灣商店中選購。前往我們的美國商店以繼續選購。

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
  • ISBN:9783031742347
  • 發行日期:2024年10月12日
  • 出版商:Springer Nature Switzerland
  • 出版單位:Springer
  • 檔案格式:EPUB3
  • 檔案大小:28.78 MB
  • 下載選項:EPUB3 (Adobe DRM)

系列書籍

Theoretical Aspects of Computing – ICTAC 2023

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

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Integrated Formal Methods

Erika Ábrahám,Marieke Huisman