-
-
Handbook of Model Checking
-
Clarke, Edmund M. (EDT)
Henzinger, Thomas A. (EDT)
Veith, Helmut (EDT)
-
出版社：Springer
出版年月：2018年 06月
装丁：HRD
-
税込価格：
33,011円
海外在庫あり
通常２～５週間で出荷
-
-
Lectures On The Public Life And Character Of Oliver Cromwell (1847)
-
Clarke, Edmund
-
出版社：Kessinger Publishing Co
出版年月：2008年 10月
装丁：PAP
言語：ENG
-
税込価格：
6,774円
海外在庫あり
通常２～４週間で出荷
-
-
Irish Tales of Mystery and Magic
-
Lenihan, Edmund
Clarke, Alan (ILT)
-
出版社：The Mercier Press
出版年月：2015年 09月
装丁：PAP
言語：ENG
版次：UK
-
税込価格：
4,292円
海外在庫あり
通常２～４週間で出荷
-
-
Fionn Mac Cumhail's Epic Adventures:
The Irish Mystery and Magic Collection - Book 2
The Irish Mystery and Magic Collection
-
Lenihan, Edmund
Clarke, Alan (ILT)
-
出版社：The Mercier Press
出版年月：2015年 03月
装丁：HRD
言語：ENG
-
税込価格：
2,145円
海外在庫あり
通常２～４週間で出荷
-
-
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円
海外在庫あり
通常２～５週間で出荷
