-
-
Handbook of Model Checking
-
Clarke, Edmund M. (EDT)
Henzinger, Thomas A. (EDT)
Veith, Helmut (EDT)
-
出版社：Springer
出版年月：2018年 06月
装丁：HRD
-
税込価格：
33,011円
海外在庫あり
通常２～５週間で出荷
-
-
モデル検査法の２５年（LNCS 5000巻記念論文集)
25 Years of Model Checking
History, Achievements, Perspectives
Lecture Notes in Computer Science
-
Grumberg, Orna (EDT)
Veith, Helmut (EDT)
-
出版社：Springer
出版年月：2008年 00月
装丁：HRD
-
税込価格：
8,250円
海外在庫あり
通常２～５週間で出荷
-
-
Handbook of Model Checking, 2 Teile
-
Herausgegeben von Clarke, Edmund M.
Henzinger, Thomas A.
Veith, Helmut
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2020年 00月
装丁：PAP
版次：Softcover reprint of the original 1st ed. 2018. 2020. xlviii
-
税込価格：
33,011円
海外在庫あり
通常２～５週間で出荷
