-
-
Handbook of Model Checking
-
Clarke, Edmund M. (EDT)
Henzinger, Thomas A. (EDT)
Veith, Helmut (EDT)
-
出版社：Springer
出版年月：2018年 06月
装丁：HRD
-
税込価格：
33,011円
海外在庫あり
通常２～５週間で出荷
-
-
Computational Methods in Systems Biology
11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
Lecture Notes in Computer Science / Lecture Notes in Bioinformatics .8130
-
Herausgegeben von Gupta, Ashutosh
Henzinger, Thomas A.
-
出版社：Springer, Berlin
出版年月：2013年 08月
装丁：PAP
版次：2013. xx
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Mathematical and Engineering Methods in Computer Science
Lecture Notes in Computer Science / Programming and Software Engineering .7721
-
Herausgegeben von Kucera, Antonin
Henzinger, Thomas A.
Nesetril, Jaroslav
-
出版社：Springer, Berlin
出版年月：2013年 00月
装丁：PAP
版次：2013. xii
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
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円
海外在庫あり
通常２～５週間で出荷
