這是我們的香港商店。

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

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

Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings 電子書，作者：

Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Bernd Fischer,Jaco Geldenhuys

Springer Nature Proceedings Computer Science

簡介

類別

關於本書

語言：English
ISBN：9783319234045
發行日期：2016年7月5日
出版商：Springer International Publishing

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

系列書籍

Theoretical Aspects of Computing – ICTAC 2018 - 電子書，作者：Bernd Fischer,Tarmo Uustalu

Theoretical Aspects of Computing – ICTAC 2018

Bernd Fischer,Tarmo Uustalu