這是我們的台灣商店。

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

選擇另一家商店前往美國商店前往美國商店選擇另一家商店

Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings 電子書，作者：

Model Checking Software

27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

Alfons Laarman,Ana Sokolova

Springer Nature Proceedings Computer Science

簡介

類別

關於本書

語言：English
ISBN：9783030846299
發行日期：2021年8月2日
出版商：Springer International Publishing

出版單位：Springer
檔案格式：EPUB3
檔案大小：14.74 MB
下載選項：EPUB3 (Adobe DRM)