-
-
Active Object Languages
Current Research Trends
Lecture Notes in Computer Science 14360
-
de Boer, Frank
Damiani, Ferruccio
Haehnle, Reiner
-
出版社：Springer
出版年月：2024年 01月
装丁：PAP
-
税込価格：
17,683円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Executable Software Models
Lecture Notes in Computer Science / Programming and Software Engineering .8483
-
Herausgegeben von Bernardo, Marco
Damiani, Ferruccio
Haehnle, Reiner
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2014年 05月
装丁：PAP
言語：ENG
版次：2014. 2014. viii
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Lecture Notes in Computer Science / Programming and Software Engineering .7542
-
Herausgegeben von Beckert, Bernhard
Damiani, Ferruccio
de Boer, Frank S.
-
出版社：Springer, Berlin
出版年月：2013年 00月
装丁：PAP
版次：Repr. 2012. 2013. x
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Verification of Object-Oriented Software
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Lecture Notes in Computer Science / Programming and Software Engineering Vol.7421
-
Herausgegeben von Beckert, Bernhard
Damiani, Ferruccio
Gurov, Dilian
-
出版社：Springer, Berlin
出版年月：2012年 00月
装丁：PAP
版次：2012. X
-
税込価格：
10,846円
海外在庫あり
通常２～５週間で出荷
-
-
Coordination Models and Languages
Lecture Notes in Computer Science 12717
-
Herausgegeben:Damiani, Ferruccio
Dardha, Ornela
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
版次：1st ed. 2021. 2021. xvi
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
