-
-
Language, Logic, and Computation
12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Lecture Notes in Computer Science .11456
-
Herausgegeben von Silva, Alexandra
Staton, Sam
Sutton, Peter
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2019年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2019. 2019. xiv
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Techniques for Distributed Objects, Components, and Systems
Lecture Notes in Computer Science .10321
-
Herausgegeben von Bouajjani, Ahmed
Silva, Alexandra
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2017年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2017. 2017. xiv
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
