-
-
Software Reliability Methods
Texts in Computer Science
-
Peled, Doron A.
Clarke, E. M. (FRW)
-
出版社：Springer
出版年月：2011年 11月
装丁：PAP
言語：ENG
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
-
-
Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Lecture Notes in Computer Science
-
Peled, Doron A. (EDT)
Tsay, Yih-kuen (EDT)
-
出版社：Springer-Verlag New York Inc
出版年月：2005年 12月
装丁：PAP
言語：ENG
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
-
-
Automated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Lecture Notes in Computer Science .9938
-
Herausgegeben von Artho, Cyrille
Legay, Axel
Peled, Doron
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2016年 09月
装丁：PAP
版次：1st ed. 2016. 2016. xi
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
