這是我們的台灣商店。

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

前往美國商店選擇另一家商店
跳轉到主要內容
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

Jyotirmoy Deshmukh,Dejan Ničković
Springer Nature Proceedings Computer Science

簡介

類別

關於本書

  • 語言：English
  • ISBN：9783030605087
  • 發行日期：2020年10月7日
  • 出版商：Springer International Publishing
  • 出版單位：Springer
  • 檔案格式：EPUB3
  • 檔案大小：52.02 MB
  • 下載選項：EPUB3 (Adobe DRM)

系列書籍

跳過此清單

NASA Formal Methods

Jyotirmoy Deshmukh,Klaus Havelund,Alessandro Pinto