這是我們的台灣商店。

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

前往美國商店選擇另一家商店
跳轉到主要內容
我的願望清單
購物車
建立帳戶
有帳戶了嗎？登入
Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings 電子書，作者：

Reachability Problems

10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

電子書,電子書
Igor Potapov,Jiří Srba,Kim Guldstrand Larsen
Springer Nature Proceedings Computer Science

簡介

類別

關於本書

  • 語言：English
  • ISBN：9783319459943
  • 發行日期：2016年9月30日
  • 出版商：Springer International Publishing
  • 出版單位：Springer
  • 檔案格式：EPUB2
  • 檔案大小：3.86 MB
  • 下載選項：EPUB2 (Adobe DRM)

系列書籍

跳過此清單

Dependable Software Engineering. Theories, Tools, and Applications

Ji Wang,Kim Guldstrand Larsen,Oleg Sokolsky

Formal Methods for Industrial Critical Systems

Kim Guldstrand Larsen,Tim Willemse