這是我們的台灣商店。

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

前往美國商店選擇另一家商店
跳轉到主要內容
我的願望清單
購物車
建立帳戶
有帳戶了嗎？登入
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings 電子書，作者：

Runtime Verification

19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Bernd Finkbeiner,Leonardo Mariani
Springer Nature Proceedings Computer Science

簡介

類別

關於本書

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

系列書籍

跳過此清單

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner,Thomas Wies

Automated Technology for Verification and Analysis

Bernd Finkbeiner,Geguang Pu,Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner,Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner,Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner,Laura Kovács