-
-
Perspectives of Systems Informatics
8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
Lecture Notes in Computer Science Vol.7162
-
Herausgegeben von Clarke, Edmund
Virbitskaite, Irina
Voronkov, Andrei
-
出版社：Springer, Berlin
出版年月：2012年 00月
装丁：PAP
言語：ENG
版次：2012. XIV
-
税込価格：
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円
海外在庫あり
通常２～５週間で出荷
