-
-
Formal Techniques for Distributed Objects, Components, and Systems
Lecture Notes in Computer Science .9688
-
Herausgegeben von Albert, Elvira
Lanese, Ivan
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2016年 06月
装丁：PAP
版次：1st ed. 2016. 2016. xvi
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
-
-
Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Lecture Notes in Computer Science / Programming and Software Engineering .8739
-
Herausgegeben von Albert, Elvira
Sekerinski, Emil
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2014年 09月
装丁：PAP
版次：2014. 2014. xii
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
-
-
Logic-Based Program Synthesis and Transformation
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7844
-
Herausgegeben von Albert, Elvira
-
出版社：Springer, Berlin
出版年月：2013年 00月
装丁：PAP
版次：2013. X
-
税込価格：
11,334円
海外在庫あり
通常２～５週間で出荷
